perm filename E82.IN[LET,JMC] blob
sn#679498 filedate 1982-10-01 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00311 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00034 00002
C00035 00003 ∂03-Jul-82 0126 ARG my orals
C00036 00004 ∂03-Jul-82 1013 reid@Shasta (SuNet) flash: large cheap disks
C00039 00005 ∂04-Jul-82 0643 Martin.Griss <Griss at UTAH-20> Re: Space/Access
C00040 00006 ∂05-Jul-82 0633 reid@Shasta (SuNet)
C00043 00007 ∂05-Jul-82 0737 Brian Reid <reid@Shasta at Sumex-Aim> Re: Freshman Advisors
C00045 00008 ∂05-Jul-82 0938 CLT coffee
C00046 00009 ∂05-Jul-82 2317 HST via SUMEX-AIM lisp compiling
C00047 00010 ∂06-Jul-82 1034 Bob Moore <BMOORE at SRI-AI> talk by Pat Hayes
C00049 00011 ∂07-Jul-82 1546 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Siam 30 Meeting
C00051 00012 ∂07-Jul-82 1823 JMC
C00052 00013 ∂08-Jul-82 0900 JMC*
C00053 00014 ∂08-Jul-82 0915 Nilsson at SRI-AI Nilsson Party
C00056 00015 ∂08-Jul-82 1536 Gene Golub <CSD.GOLUB at SU-SCORE> DEC personal computer
C00057 00016 ∂08-Jul-82 1537 Gene Golub <CSD.GOLUB at SU-SCORE> DEC dates
C00058 00017 ∂08-Jul-82 2336 Gene Golub <CSD.GOLUB at SU-SCORE> Jamie Frankel
C00059 00018 ∂09-Jul-82 0850 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Joe and Carolyn Tajnai are having a party
C00063 00019 ∂09-Jul-82 1353 Ichiki at SRI-AI TINLUNCH 7/15
C00064 00020 ∂09-Jul-82 2127 RPG Griss
C00065 00021 ∂09-Jul-82 2143 pratt@Shasta at Sumex-Aim Re: Jamie Frankel
C00066 00022 ∂
C00068 00023 ∂12-Jul-82 0900 JMC*
C00069 00024 ∂12-Jul-82 0954 Nancy Dorio <CSD.DORIO at SU-SCORE> pmessage
C00070 00025 ∂12-Jul-82 1000 Bob Moore <BMOORE at SRI-AI> Talk by Drew McDermott
C00071 00026 ∂12-Jul-82 1037 Stan at SRI-AI Talk postponed
C00072 00027 ∂12-Jul-82 1104 Bob Moore <BMOORE at SRI-AI> McDermott talk time change
C00073 00028 ∂12-Jul-82 1419 Aaai-Office at SUMEX-AIM AAAI-82 Schedule and AAAI Meetings
C00123 00029 ∂12-Jul-82 2240 CSD.ULLMAN@SU-SCORE (SuNet) [Betty Scott <CSD.BSCOTT at SU-SCORE>: ARPA Equipment Proposal]
C00126 00030 ∂13-Jul-82 0900 JMC*
C00127 00031 ∂13-Jul-82 1031 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF JULY 12 - 16, 1982
C00128 00032 ∂13-Jul-82 1430 Betty Scott <CSD.BSCOTT at SU-SCORE>
C00129 00033 ∂13-Jul-82 1810 Ichiki at SRI-AI Remember TINLUNCH 7/15
C00130 00034 ∂13-Jul-82 2303 Gene Golub <CSD.GOLUB at SU-SCORE>
C00131 00035 ∂15-Jul-82 1059 BUCHANAN at SUMEX-AIM mtg with Director of ARPA
C00132 00036 ∂15-Jul-82 1527 Gene Golub <CSD.GOLUB at SU-SCORE> Jamie Frankel
C00133 00037 ∂15-Jul-82 1558 Jeffrey D. Ullman <CSD.ULLMAN at SU-SCORE> housesit
C00134 00038 ∂15-Jul-82 1655 Aaai-Office at SUMEX-AIM Fine Tuning, Conference Schedule
C00136 00039 ∂16-Jul-82 0930 MDD via NYU ATP "Milestone" Prize
C00137 00040 ∂16-Jul-82 0934 MDD via NYU Citation
C00141 00041 ∂16-Jul-82 1002 DCL Citation
C00143 00042 ∂16-Jul-82 1150 MDD via NYU
C00145 00043 ∂16-Jul-82 1502 Konolige at SRI-AI Thesis talk
C00148 00044 ∂16-Jul-82 1511 DCL
C00149 00045 ∂16-Jul-82 1534 Bob Moore <BMOORE at SRI-AI> Re: postponement
C00150 00046 ∂18-Jul-82 0604 Martin.Griss <Griss at UTAH-20> genesereth
C00151 00047 ∂19-Jul-82 1114 FFL
C00152 00048 ∂19-Jul-82 1128 CLT
C00153 00049 ∂19-Jul-82 1129 MDD via NYU
C00154 00050 ∂19-Jul-82 1332 Bob Moore <BMOORE at SRI-AI> Upcoming talks
C00155 00051 ∂19-Jul-82 1501 Ichiki at SRI-AI TINLUNCH 7/22
C00156 00052 ∂20-Jul-82 1449 MDD via NYU
C00157 00053 ∂20-Jul-82 1525 Konolige at SRI-AI (Kurt Konolige) Talk time
C00158 00054 ∂20-Jul-82 1648 MDD via NYU
C00159 00055 ∂20-Jul-82 1647 MDD via NYU
C00160 00056 ∂20-Jul-82 2016 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
C00163 00057 ∂21-Jul-82 1024 MDD via NYU
C00164 00058 ∂21-Jul-82 1030 DCL Citation
C00165 00059 ∂21-Jul-82 1043 MDD via NYU your memo of this AM
C00166 00060 ∂21-Jul-82 1145 MDD via NYU
C00167 00061 ∂21-Jul-82 1159 Bob Moore <BMOORE at SRI-AI> talk by Pat Hayes
C00168 00062 ∂21-Jul-82 1152 NAN pmessage
C00169 00063 ∂22-Jul-82 2045 Stan at SRI-AI Lauri & Robin
C00170 00064 ∂22-Jul-82 2047 JMC at SRI-AI cbcl
C00171 00065 ∂22-Jul-82 2048 Ichiki at SRI-AI Proceedings of Conf. on Office Inf. Systems
C00177 00066 ∂23-Jul-82 0120 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF JULY 19 - 23, 1982.
C00178 00067 ∂23-Jul-82 0121 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK 0F JULY 26 - 30, 1982
C00180 00068 ∂23-Jul-82 0648 MDD via NYU heuristics
C00181 00069 ∂23-Jul-82 0711 MDD via NYU
C00185 00070 ∂25-Jul-82 1120 CLT
C00186 00071 ∂26-Jul-82 0725 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
C00188 00072 ∂26-Jul-82 0755 MDD via NYU
C00189 00073 ∂26-Jul-82 1020 DCL
C00190 00074 ∂26-Jul-82 1028 Mark Stickel <Stickel at SRI-AI> Springer-Verlag discount book order
C00191 00075 ∂26-Jul-82 1457 Gene Golub <CSD.GOLUB at SU-SCORE> Possible appointment
C00192 00076 ∂27-Jul-82 0117 Jerry E. Pournelle <POURNE at MIT-MC> what can you tell me about...
C00194 00077 ∂27-Jul-82 1026 FFL
C00195 00078 ∂27-Jul-82 1029 CLT
C00196 00079 ∂27-Jul-82 1119 Cpowers at SRI-AI "Elephant Trunk" Robot
C00197 00080 ∂27-Jul-82 1214 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF JULY 26 - 30, 1982
C00199 00081 ∂28-Jul-82 1200 CLT*
C00200 00082 ∂28-Jul-82 1202 MDD via NYU
C00201 00083 ∂28-Jul-82 1209 MDD via NYU
C00205 00084 ∂28-Jul-82 1332 Ichiki at SRI-AI TINLUNCH for 8/5
C00207 00085 ∂28-Jul-82 1344 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
C00208 00086 ∂28-Jul-82 1454 FFL
C00209 00087 ∂29-Jul-82 0810 MDD via NYU
C00210 00088 ∂29-Jul-82 1931 Joel Goldberger Where do we get Prolog
C00212 00089 ∂30-Jul-82 0000 JMC*
C00213 00090 ∂30-Jul-82 0933 Gene Golub <CSD.GOLUB at SU-SCORE> Faculty Meeting!
C00217 00091 ∂30-Jul-82 1053 CLT pippin
C00218 00092 ∂30-Jul-82 1433 Irmgild Schack <CSD.IRMGILD at SU-SCORE> NSF Regional Conference
C00219 00093 ∂30-Jul-82 1535 Guy.Steele at CMU-10A New Common LISP Manual
C00224 00094 ∂02-Aug-82 1225 Grosz at SRI-AI talk by Hans Kamp
C00226 00095 ∂02-Aug-82 1253 Guy.Steele at CMU-10A New Common LISP Manual
C00229 00096 ∂02-Aug-82 1812 Gene Golub <CSD.GOLUB at SU-SCORE> Meeting on Tuesday
C00230 00097 ∂02-Aug-82 2013 MDD via NYU my mail file
C00231 00098 ∂02-Aug-82 2021 MDD via NYU as promised
C00241 00099 ∂02-Aug-82 2151 Lowell Wood <LLW at S1-A> Scheduling Problems
C00243 00100 ∂03-Aug-82 0911 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF AUGUST 2 - 6, 1982
C00245 00101 ∂03-Aug-82 0933 Gene Golub <CSD.GOLUB at SU-SCORE> First Year
C00246 00102 ∂03-Aug-82 1101 FFL
C00247 00103 ∂03-Aug-82 1332 FFL
C00248 00104 ∂03-Aug-82 1656 oliger@Navajo at Sumex-Aim Re: First Year
C00249 00105 ∂03-Aug-82 1752 Paul Armer <CSD.ARMER at SU-SCORE> New Students
C00250 00106 ∂04-Aug-82 0934 JK
C00251 00107 ∂04-Aug-82 0926 JK
C00252 00108 ∂04-Aug-82 1139 FFL mail jmc,ffl
C00253 00109 ∂04-Aug-82 1213 CLT sarah
C00254 00110 ∂04-Aug-82 1414 MDD via NYU
C00255 00111 ∂04-Aug-82 1801 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Christos Papadimitriou's Visit
C00257 00112 ∂05-Aug-82 0238 Lowell Wood <LLW at S1-A> Arrangements
C00259 00113 ∂05-Aug-82 0824 MDD via NYU
C00260 00114 ∂05-Aug-82 0923 JK new ekl
C00261 00115 ∂05-Aug-82 0940 Ichiki at SRI-AI TINLUNCH Today
C00263 00116 ∂05-Aug-82 1028 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF AUGUST 2 - 6, 1982
C00264 00117 ∂05-Aug-82 1121 FFL
C00265 00118 ∂05-Aug-82 1131 FFL
C00266 00119 ∂05-Aug-82 1302 Aaai-Office at SUMEX-AIM AAAI Executive Committee Meeting
C00267 00120 ∂05-Aug-82 1443 Jrobinson at SRI-AI Hans Kamp
C00271 00121 ∂05-Aug-82 2302 ROODE at SRI-NIC (David Roode) still not on the list
C00273 00122 ∂05-Aug-82 2323 ROODE at SRI-NIC (David Roode)
C00277 00123 ∂05-Aug-82 2349 ROODE at SRI-NIC (David Roode) Re: lists
C00279 00124 ∂06-Aug-82 0011 ROODE at SRI-NIC (David Roode)
C00280 00125 ∂06-Aug-82 1136 FFL
C00281 00126 ∂06-Aug-82 1154 Farley at SRI-AI will talk, Wed a.m., 10:30, EK242
C00283 00127 ∂06-Aug-82 1205 FWH talk by A. Meyer at SRI
C00286 00128 ∂06-Aug-82 1420 Grosz at SRI-AI partial schedule of dry runs for next week
C00292 00129 ∂08-Aug-82 0011 JMC*
C00293 00130 ∂08-Aug-82 0142 MINSKY at MIT-OZ at MIT-AI logic
C00294 00131 ∂08-Aug-82 0142 MINSKY at MIT-OZ at MIT-AI more of message
C00297 00132 ∂08-Aug-82 1253 CLT Sara
C00298 00133 ∂09-Aug-82 0926 BUCHANAN at SUMEX-AIM meeting with Dr. Cooper from ARPA
C00299 00134 ∂09-Aug-82 1302 Nilsson at SRI-AI AAAI ExCom Meeting Announcement
C00303 00135 ∂09-Aug-82 2125 Archbold at SRI-AI August 12 TINLUNCH
C00305 00136 ∂10-Aug-82 1002 Waldinger at SRI-AI meyer talks today, 10:45, el381
C00306 00137 ∂10-Aug-82 1431 ullman@Diablo (SuNet) ONR equipment grants
C00308 00138 ∂14-Aug-82 1657 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> WAIL
C00321 00139 ∂14-Aug-82 1658 Chandra-at-OhioState <Chandrasekaran at RUTGERS> Use of your letter.
C00323 00140 ∂18-Aug-82 0425 MDD via NYU article for John Cocke
C00335 00141 ∂18-Aug-82 1117 FFL
C00336 00142 ∂19-Aug-82 1303 Paul Armer <CSD.ARMER at SU-SCORE> Space
C00341 00143 ∂19-Aug-82 1643 Ichiki at SRI-AI TINLUNCH 8/26
C00343 00144 ∂21-Aug-82 0937 Aaai-Office at SUMEX-AIM Bonnie's Message to AAAI
C00349 00145 ∂22-Aug-82 1128 CLT
C00350 00146 ∂23-Aug-82 0652 Chandra-at-OhioState <Chandrasekaran at RUTGERS>
C00353 00147 ∂23-Aug-82 1116 BUCHANAN at SUMEX-AIM Friday meeting with Cooper & Kahn
C00357 00148 ∂23-Aug-82 1402 Sridharan at RUTGERS (Sri) Lisp and Lambda-Calculus
C00359 00149 ∂23-Aug-82 2320 Feigenbaum at SUMEX-AIM Re: Friday meeting with Cooper & Kahn
C00362 00150 ∂24-Aug-82 0845 Aaai-Office at SUMEX-AIM Bonnie's Message II
C00365 00151 ∂24-Aug-82 0952 Bob Moore <BMOORE at SRI-AI> copies of slides available
C00366 00152 ∂24-Aug-82 1338 TOB ORM
C00367 00153 ∂24-Aug-82 1551 LGC Work Report
C00368 00154 ∂24-Aug-82 1557 FFL
C00369 00155 ∂25-Aug-82 0954 LGC RPG Currently Unavailable
C00372 00156 ∂26-Aug-82 0522 Lowell Wood <LLW at S1-A> Next Week
C00376 00157 ∂26-Aug-82 1614 ENGELMAN at USC-ECL [ENGELMAN at USC-ECL: Boehm]
C00378 00158 ∂30-Aug-82 1145 Sridharan at RUTGERS (Sri) lisp and Lambda calculus
C00380 00159 ∂30-Aug-82 1334 BCM Paper
C00381 00160 ∂31-Aug-82 0936 FFL
C00382 00161 ∂01-Sep-82 1046 FFL
C00383 00162 ∂01-Sep-82 1123 Nilsson at SRI-AI Program Chair for AAAI-83
C00388 00163 ∂01-Sep-82 1527 Bobrow at PARC-MAXC Re: Program Chair for AAAI-83
C00390 00164 ∂01-Sep-82 1904 LGC Borrowed Papers
C00391 00165 ∂02-Sep-82 1509 Grosz at SRI-AI seminar announcement -- Stanford, Fall quarter
C00408 00166 ∂03-Sep-82 0952 Konolige at SRI-AI Soporific
C00409 00167 ∂03-Sep-82 1403 Doug Appelt <APPELT at SRI-AI> Terry's new book
C00410 00168 ∂04-Sep-82 1120 DEK happy birthday
C00412 00169 ∂04-Sep-82 1207 TOB Happy birthday
C00415 00170 ∂06-Sep-82 0954 Kenneth M. Kahn <KEN at MIT-OZ at MIT-MC>
C00416 00171 ∂06-Sep-82 1401 Paul Armer <CSD.ARMER at SU-SCORE> CS200
C00420 00172 ∂06-Sep-82 2211 RPG Meeting
C00421 00173 ∂07-Sep-82 1027 Archbold at SRI-AI Sept. 9th TINLunch
C00423 00174 ∂07-Sep-82 1027 FFL Sheryl Handler who had lunch with you and Marvin Minsky in
C00424 00175 ∂07-Sep-82 1130 RPG
C00425 00176 ∂07-Sep-82 1254 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> Talk at ATP Special Session
C00429 00177 ∂07-Sep-82 1726 ME
C00430 00178 ∂08-Sep-82 0927 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEKS OF SEPTEMBER 6 - 17, 1982
C00432 00179 ∂08-Sep-82 0952 REG the DEC RA81 disk system
C00433 00180 ∂08-Sep-82 1127 Jeffrey D. Ullman <CSD.ULLMAN at SU-SCORE> Equipment Proposal
C00435 00181 ∂08-Sep-82 1551 GOGUEN at SRI-CSL [GOGUEN at SRI-CSL: last time at the old ranch party]
C00437 00182 ∂08-Sep-82 1601 Mark Stickel <Stickel at SRI-AI> [GOGUEN at SRI-CSL: logic programming languages]
C00441 00183 ∂08-Sep-82 1758 Paul Armer <CSD.ARMER at SU-SCORE> Teaching Schedule
C00457 00184 ∂08-Sep-82 1915 Archbold at SRI-AI REMINDER: Sept. 9th TINLunch - Yale Argumentative Analysis Articles
C00459 00185 ∂09-Sep-82 1311 RPG
C00462 00186 ∂09-Sep-82 1841 RPG
C00463 00187 ∂10-Sep-82 0907 JJW MacLisp Documentation
C00464 00188 ∂10-Sep-82 0940 Chappell at SRI-AI TINLUNCH FOR SEPTEMBER 16, 1982
C00465 00189 ∂10-Sep-82 1303 JJW LISP documentation
C00466 00190 ∂11-Sep-82 0049 Bill Gosper <RWG at MIT-MC>
C00467 00191 ∂13-Sep-82 0921 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> Denver talk Jan 7}
C00468 00192 ∂13-Sep-82 0952 FFL
C00469 00193 ∂13-Sep-82 1310 TOB Malik
C00470 00194 ∂13-Sep-82 1353 RPG
C00472 00195 ∂13-Sep-82 1458 TOB
C00473 00196 ∂13-Sep-82 1611 JK office space
C00474 00197 ∂13-Sep-82 1800 LGC Tuesday's Meeting @ 2:00
C00475 00198 ∂13-Sep-82 1806 CLT
C00476 00199 ∂13-Sep-82 2318 HST via SUMEX-AIM lisp-compiling
C00477 00200 ∂13-Sep-82 2343 RSF MTC qual
C00478 00201 ∂14-Sep-82 1026 Marilynn Walker <CSD.MWALKER at SU-SCORE> Instructor Information
C00487 00202 ∂14-Sep-82 1652 Marilynn Walker <CSD.MWALKER at SU-SCORE> TA's Needed?
C00488 00203 ∂14-Sep-82 1707 Marilynn Walker <CSD.MWALKER at SU-SCORE> LOTS Computer Facility
C00489 00204 ∂14-Sep-82 1711 CLT
C00490 00205 ∂14-Sep-82 1722 JJW LOTS
C00491 00206 ∂14-Sep-82 1816 RPG
C00492 00207 ∂15-Sep-82 0019 ME DM problem
C00494 00208 ∂15-Sep-82 0127 ME modem
C00495 00209 ∂15-Sep-82 1030 CT CS 293
C00496 00210 ∂15-Sep-82 1212 RPG MOVE
C00500 00211 ∂15-Sep-82 1408 ME AP live again
C00501 00212 ∂15-Sep-82 1531 RPG
C00503 00213 ∂16-Sep-82 0858 Chappell at SRI-AI TINLUNCH
C00504 00214 ∂16-Sep-82 0902 Doug Appelt <APPELT at SRI-AI> Lisp machine distribution list
C00505 00215 ∂16-Sep-82 1110 JK
C00507 00216 ∂16-Sep-82 1147 FFL Call from Laura Wolfe of Free Press publishers
C00508 00217 ∂16-Sep-82 1404 CSL.JLH.MOGUL at SU-SCORE (Jeffrey Mogul) Orientation Meeting, Sept. 23
C00510 00218 ∂16-Sep-82 1546 BUCHANAN at SUMEX-AIM AI Lab Memos
C00512 00219 ∂16-Sep-82 1551 BUCHANAN at SUMEX-AIM
C00513 00220 ∂16-Sep-82 1650 Ed Pednault <CSD.PEDNAULT at SU-SCORE> Meeting
C00514 00221 ∂16-Sep-82 1656 ARK The "Welcome" Party
C00516 00222 ∂16-Sep-82 1842 Guy.Steele at CMU-10A Photo
C00517 00223 ∂16-Sep-82 1847 Paul Armer <CSD.ARMER at SU-SCORE>
C00518 00224 ∂17-Sep-82 1127 FFL
C00519 00225 ∂17-Sep-82 1420 RPG MLB
C00520 00226 ∂17-Sep-82 1410 MLB
C00521 00227 ∂17-Sep-82 1506 RPG JMC letter
C00523 00228 ∂17-Sep-82 2131 Marvin Minsky <MINSKY at MIT-MC>
C00556 00229 ∂18-Sep-82 0839 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> ATP Session Schedule
C00561 00230 ∂18-Sep-82 0921 baskett@Shasta (SuNet)
C00562 00231 ∂18-Sep-82 1437 Lowell Wood <LLW at S1-A> Seeing Each Other
C00564 00232 ∂18-Sep-82 1619 ullman@Diablo (SuNet) lunch
C00565 00233 ∂18-Sep-82 1719 RPG
C00566 00234 ∂19-Sep-82 1303 RPG
C00567 00235 ∂20-Sep-82 0907 Chappell at SRI-AI SEPTEMBER 23,1982 TINLUNCH
C00568 00236 ∂20-Sep-82 1006 Gene Golub <CSD.GOLUB at SU-SCORE>
C00569 00237 ∂20-Sep-82 1048 FFL
C00570 00238 ∂20-Sep-82 1125 CLT
C00571 00239 ∂20-Sep-82 1247 LOUNGO at RUTGERS new technical reports
C00576 00240 ∂20-Sep-82 1345 Gene Golub <CSD.GOLUB at SU-SCORE> Honors
C00577 00241 ∂20-Sep-82 1558 Gene Golub <CSD.GOLUB at SU-SCORE> Faculty meeting
C00578 00242 ∂21-Sep-82 0733 PWEGNER at BBNA Re: n queens
C00581 00243 ∂21-Sep-82 0857 CLT SEMINAR
C00584 00244 ∂21-Sep-82 1030 FFL
C00585 00245 ∂21-Sep-82 1118 TOB space
C00586 00246 ∂21-Sep-82 1141 ullman@Diablo (SuNet) lunch
C00587 00247 ∂21-Sep-82 1149 RPG Martin Griss
C00588 00248 ∂21-Sep-82 1452 ullman@Diablo (SuNet) MTC
C00589 00249 ∂21-Sep-82 1625 Feigenbaum at SUMEX-AIM Lisp Machine Intro
C00591 00250 ∂21-Sep-82 1636 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEKS OF SEPT. 20 - 24, SEPT. 27 - OCT. 1, 1982
C00593 00251 ∂21-Sep-82 1709 Gene Golub <CSD.GOLUB at SU-SCORE> Meeting with Quate
C00594 00252 ∂21-Sep-82 1756 pratt@Shasta (SuNet) Re: MTC
C00595 00253 ∂22-Sep-82 0731 Swinehart at PARC-MAXC Re:
C00600 00254 ∂22-Sep-82 1108 FFL
C00605 00255 ∂22-Sep-82 1813 Nilsson at SRI-AI Champagne!
C00606 00256 ∂23-Sep-82 0723 Gene Golub <CSD.GOLUB at SU-SCORE> Appointment of Tom Rindfleisch
C00610 00257 ∂23-Sep-82 0858 Chappell at SRI-AI TINLUNCH
C00625 00258 ∂24-Sep-82 1311 CLT
C00626 00259 ∂24-Sep-82 1315 CLT*
C00627 00260 ∂24-Sep-82 1510 MLB sail accounts
C00628 00261 ∂24-Sep-82 1645 Chappell at SRI-AI September 30, TINLUNCH
C00629 00262 ∂24-Sep-82 1754 Nilsson at SRI-AI AAAI Program Chairman
C00631 00263 ∂24-Sep-82 2105 Gene Golub <CSD.GOLUB at SU-SCORE> Proposed Agenda
C00633 00264 ∂24-Sep-82 2230 CLT
C00634 00265 ∂25-Sep-82 0004 Kanerva at SUMEX-AIM
C00636 00266 ∂25-Sep-82 0034 Kanerva at SUMEX-AIM
C00638 00267 ∂25-Sep-82 1157 ME HOT up
C00639 00268 ∂25-Sep-82 1315 CLT*
C00640 00269 ∂26-Sep-82 1150 T. C. Rindfleisch <Rindfleisch at SUMEX-AIM> Re: Lisp machine
C00642 00270 ∂26-Sep-82 1315 CLT*
C00643 00271 ∂26-Sep-82 1440 Gene Golub <CSD.GOLUB at SU-SCORE> Ratings of CS departments
C00644 00272 ∂26-Sep-82 1446 Gene Golub <CSD.GOLUB at SU-SCORE> Ratings of CS departments
C00646 00273 ∂26-Sep-82 1549 Nilsson at SRI-AI AAAI-83 Proposed Site and Dates
C00653 00274 ∂26-Sep-82 1722 Nilsson at SRI-AI (Response to message)
C00657 00275 ∂27-Sep-82 0900 JMC*
C00658 00276 ∂27-Sep-82 1058 FFL
C00659 00277 ∂27-Sep-82 1200 Robert Schreiber <CSD.SCHREIBER at SU-SCORE> House for rent
C00660 00278 ∂27-Sep-82 1315 CLT*
C00661 00279 ∂27-Sep-82 1410 Bobrow at PARC-MAXC Re: AAAI-83 Proposed Site and Dates
C00663 00280 ∂27-Sep-82 1549 Hart at SRI-KL Re: AAAI-83 Proposed Site and Dates
C00665 00281 ∂27-Sep-82 1638 RPG Postponement
C00666 00282 ∂27-Sep-82 1837 Jay Lark <CSD.LARK at SU-SCORE> Lisp Machine downtime
C00668 00283 ∂27-Sep-82 2123 CLT REMINDER - MTC etc seminar
C00669 00284 ∂27-Sep-82 2150 Grosz at SRI-AI Re: AAAI-83 Proposed Site and Dates
C00671 00285 ∂28-Sep-82 0850 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Faculty Meeting Today
C00672 00286 ∂28-Sep-82 1049 Gene Golub <CSD.GOLUB at SU-SCORE> Department Reception
C00673 00287 ∂28-Sep-82 1246 Nilsson at SRI-AI AAAI Staff Addition
C00679 00288 ∂28-Sep-82 1301 Jay Lark <CSD.LARK at SU-SCORE>
C00683 00289 ∂28-Sep-82 1408 Raj.Reddy at CMU-10A AAAI-83 Proposed Site and Dates
C00686 00290 ∂28-Sep-82 1414 Nilsson at SRI-AI Re: AAAI Staff Addition
C00688 00291 ∂28-Sep-82 1432 FFL Steve Garrager called about change in location of meeting tomorrow.
C00689 00292 ∂28-Sep-82 2040 JJW CMU MacLisp summaries
C00690 00293 ∂28-Sep-82 2358 Jerry E. Pournelle <POURNE at MIT-MC> faire
C00691 00294 ∂29-Sep-82 0838 AMAREL at RUTGERS Re: AAAI-83 Proposed Site and Dates
C00693 00295 ∂29-Sep-82 0839 KAHN at USC-ISI
C00695 00296 ∂29-Sep-82 0955 FFL
C00696 00297 ∂29-Sep-82 1110 Aaai-Office at SUMEX-AIM Marvin's Reply
C00697 00298 ∂29-Sep-82 1315 CLT*
C00698 00299 ∂29-Sep-82 1329 FFL Call from Doris at Com. for Concerned Scientists
C00699 00300 ∂29-Sep-82 1355 GOGUEN at SRI-AI
C00702 00301 ∂29-Sep-82 1726 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF OCTOBER 4 - 8, 1982
C00705 00302 ∂30-Sep-82 0903 Chappell at SRI-AI TINLUNCH
C00707 00303 ∂30-Sep-82 0937 Sharon.Burks at CMU-10A Recommendation for Guy Steele
C00708 00304 ∂30-Sep-82 1427 Gene Golub <CSD.GOLUB at SU-SCORE> Reminder
C00710 00305 ∂30-Sep-82 1601 Gene Golub <CSD.GOLUB at SU-SCORE> meetings
C00711 00306 ∂30-Sep-82 1616 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Visit of Barbara Liskov
C00712 00307 ∂30-Sep-82 1635 Irmgild Schack <CSD.IRMGILD at SU-SCORE>
C00713 00308 ∂30-Sep-82 2107 CLT SEMINAR IN LOGIC AND FOUNDATIONS OF MATHEMATICS
C00714 00309 ∂01-Oct-82 0852 Gene Golub <CSD.GOLUB at SU-SCORE> Time for meeting
C00715 00310 ∂01-Oct-82 0942 ullman@Diablo (SuNet) lunch
C00716 00311 ∂01-Oct-82 1020 ullman@Diablo (SuNet) MTC
C00717 ENDMK
C⊗;
∂03-Jul-82 0126 ARG my orals
John - While you were away I scheduled my orals for the afternoon of July 21st.
Fran assured me that you would be free then, so hopefully it's already
down on your schedule for then.
By the end of this coming week I should have a rough draft of my thesis
available for you, if you would like a copy. About half of it has been
written so far. More each day though.
Also would you like to get together for a brief talk prior to the orals
so I can tell you what I've done? I'm available almost any afternoon
at your convenience.
thanks,
Ron
∂03-Jul-82 1013 reid@Shasta (SuNet) flash: large cheap disks
Date: Saturday, 3 Jul 1982 10:12-PDT
To: equip at Shasta
Subject: flash: large cheap disks
From: Brian Reid <reid at Shasta>
I'm out at DEC in Hudson just now, and Sam Fuller showed me a startling
and marvelous new product from DEC. It is called an RA81-EA Disk System.
It is 1.4 gigabytes of disk, completely compatible with a VAX-750, that
sells for $50,000 with a $270 monthly fee. The product literature that
I have says "a limited number of RA81 subsystems will be shipped in
September 1982. Product availability on VAX-780 systems will be
announced during mid-FY83."
A single RA81-EA system occupies about half the floor space of one disk
drive; it's about 27 inches square. I am pretty sure that Sam told me
you can connect up to 4 of these to a single 750, so we could take one
of the baby VAXen and build JMC's dream (6 Gigabytes) for $233K.
[$33K (for the VAX) + 4 * $50K ]
The software to support it under VMS already exists, and we will get
VMS licenses with the 750's, so we could plug it in and use it as soon
as we figure out how to get VMS version 3 on our Ethernet, which
shouldn't be too hard because SRI has already done essentially all of
the work.
Sam tells me that this thing was announced at NCC, so if we want one,
we ought to move fast.
Brian
It was my understanding that the marginal price of the IBM 3380 disk
at 2.5 gigabytes was $40,000. When we get some ARPA money, we must
survey the market and ask for proposals. I don't understand the part
about moving fast. I recognize that programming considerations may
dictate using less cost effective disks, but the difference here seems
rather large.
∂04-Jul-82 0643 Martin.Griss <Griss at UTAH-20> Re: Space/Access
Date: 4 Jul 1982 0741-MDT
From: Martin.Griss <Griss at UTAH-20>
Subject: Re: Space/Access
To: JMC at SU-AI
cc: Griss at UTAH-20, csd.genesereth at SU-SCORE
In-Reply-To: Your message of 30-Jun-82 1216-MDT
Thanks. Will communicate with Mike.
-------
∂05-Jul-82 0633 reid@Shasta (SuNet)
Date: Monday, 5 Jul 1982 06:33-PDT
To: JMC at SU-AI
Cc: equip at SU-SHASTA
In-reply-to: Your message of 03 Jul 1982 1529-PDT.
From: Brian Reid <reid at Shasta>
According to a DEC copy of an IBM price sheet (something that DEC
salesmen are issued to know more about their competition) the pricing
on a 2.52-gigabyte IBM 3380 is $101,550 for the first drive, and
$84,240 for each additional drive. This is not cheaper. Also, the IBM
figure of 2.52 gigabytes is for an unformatted disk, while the DEC
figure of 1.2 gigabytes is for a formatted disk. This means that if we
were to use the IBM disk in a block size appropriate for our DEC
systems, i.e. 512 characters per block, its effective space would be
reduced by something like 30% because of the sectoring overhead. I no
longert have all of the relevant product sheets in front of me, but the
numbers as I worked them out for our data block size indicate that the
DEC disk is actually cheaper by a few percent, and has the additional
bonus of requiring no software development.
The reason why we might want to move fast is to get in on the first
year's delivery; this thing is going to be a hot seller and they are
not going to be geared up for volume production for quite a while. But
obviously we can't actually place an order for anything until the money
comes.
∂05-Jul-82 0737 Brian Reid <reid@Shasta at Sumex-Aim> Re: Freshman Advisors
Mail-from: ARPANET site SUMEX-AIM rcvd at 5-Jul-82 0733-PDT
Mail-from: SU-NET host SU-SHASTA rcvd at 5-Jul-82 0729-PDT
Date: Monday, 5 Jul 1982 07:29-PDT
To: CSD.Golub at SU-SCORE
Subject: Re: Freshman Advisors
Cc: faculty at SU-SCORE
From: Brian Reid <reid@Shasta at Sumex-Aim>
I am a College of Engineering freshman advisor, and it is something
that I enjoy a lot. It involves a few days of hard work in the autumn
quarter, getting the new freshmen lined up with classes, and then 1
dinner a week in the dorms during the rest of fall quarter, and then
perhaps 1 dinner a month in the dorms after that. I find it an
enjoyable way to meet other faculty (freshman advisors all) as well as
the freshmen.
∂05-Jul-82 0938 CLT coffee
if petes is open could you get 1# espresso beans (whole)
and 1/2 # espresso beans (ground fine)? thanks
∂05-Jul-82 2317 HST via SUMEX-AIM lisp compiling
would you think it a good point if one could show that lisp compiling
is not more than counting subexpressions,simple syntactic rearrangement
and paranthesis removal?or to be a little more precise:a postfix lisp
would be compiled by a simple flatten processss
is this interesting?
bye,herbert stoyan
∂06-Jul-82 1034 Bob Moore <BMOORE at SRI-AI> talk by Pat Hayes
Date: 6 Jul 1982 1028-PDT
From: Bob Moore <BMOORE at SRI-AI>
Subject: talk by Pat Hayes
To: NL-people: ;
cc: nilsSON at SRI-AI, waldINGER at SRI-AI, wilkINS at SRI-AI, brachman at SRI-KL,
levesque at SRI-KL, jmc at SU-AI
Pat Hayes will give a talk tomorrow, July 7, at 3:00 PM in EK242. The
abstract is as follows:
The usual way to formalise talk of time and change uses a basically static
ontology enriched by the addition of states/situations/timeinstants. The
famous frame problem arises very quickly. Rather than thinking of this as a
problem to be solved, I shall argue, we should think of it as a symptom
of a mismatch between this ontology and the way the world is actually built.
Histories - patches of 4-space with describable boundaries - seem to provide
a somewhat better match, in that the frame problem does not arise. In this
talk I will try to show, with examples, the style of axiomatising that
histories lead one to, and will discuss the relationship(s?) between this
style and the traditional one.
-------
∂07-Jul-82 1546 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Siam 30 Meeting
Date: 7 Jul 1982 1537-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Siam 30 Meeting
To: faculty at SU-SCORE
cc: su-bboards at SU-SCORE
The 30th anniversary meeting of SIAM will take place at Stanford
the week of July 19. A copy of the program is in Irmgild's
office and with the receptionist. Students can register for
$1.00. Of particular interest to computer scientists are
following:
Wednesday, July 21
10:30 - 11:15 Jon Louis Bentley
Friday, July 23
10:30 - 11:15 Shmuel Winograd
Complexity of Computation and Digital Signal Processing
Gene
-------
∂07-Jul-82 1823 JMC
balance=27.759,47
∂08-Jul-82 0900 JMC*
barbara mcconnell, 202 857-7229 or -7210
∂08-Jul-82 0915 Nilsson at SRI-AI Nilsson Party
Date: 8 Jul 1982 0914-PDT
From: Nilsson at SRI-AI
Subject: Nilsson Party
To: AIC-Staff:
NILSSON LADERA POOL PARTY ANNOUNCEMENT
Here are the latest plans for the AIC Party at the Ladera Recreation
District Pool next Thursday, July 15, 6:30pm--until everyone freezes.
All AIC people, consultants, families and friends are welcome.
Food: Bring something to BBQ or a main dish for yourselves
plus munchies. Salad, desserts will be provided.
Drinks: Beer, wine, coffee will be provided.
Don't forget a swim suit and towel and something warm to wear.
A guitar or two would be nice.
If you don't know how to get to the Ladera Pool, ask Margaret
Ohlander for a map. (Hint: The Ladera Recreation District
Pool is not the same as the Ladera Oaks Pool on Alpine Road!)
(Since so many new people have recently arrived to join the AIC
for the summer, I'm not sure this message is getting to everyone.
The intent is for all consultants, guests, summer employees, plus
miscellaneous hangers-on to get to know the rest of the AIC. Please
pass this msg along to any of the above whom you think might not
have received it!!)
So we'll have enough desserts, etc., we are trying to do an informal
census of how many people will be there. Please tell Georgia
Navarro how many of you there will be. Thanks --the Nilssons
-------
∂08-Jul-82 1536 Gene Golub <CSD.GOLUB at SU-SCORE> DEC personal computer
Date: 8 Jul 1982 1454-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: DEC personal computer
To: su-bboards at SU-SCORE
cc: faculty at SU-SCORE, serra at SU-SCORE
DEC will be demonstrating it's new personal computer the afternoon
of Friday, July 16. Is anyone interested in attending the demo?
Attendance is limited to two or three persons. Let me know if you
have an interest. GENE
-------
∂08-Jul-82 1537 Gene Golub <CSD.GOLUB at SU-SCORE> DEC dates
Date: 8 Jul 1982 1507-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: DEC dates
To: su-bboards at SU-SCORE, faculty at SU-SCORE
cc: serra at SU-SCORE
The date of the demo is Thursday, July 15 NOT July 16.
GENE
-------
∂08-Jul-82 2336 Gene Golub <CSD.GOLUB at SU-SCORE> Jamie Frankel
Date: 8 Jul 1982 2333-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Jamie Frankel
To: faculty at SU-SCORE
Jamie Frankel is still considering our offer and will get back to me next week.
He has asked that we consider the possibility that he accept our offer but
come the following year since his wife wants to finish up her degree.
I don't think this is a particularly good idea since he and we may change
our mind in a year's time. Any thoughts? GENE
-------
∂09-Jul-82 0850 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Joe and Carolyn Tajnai are having a party
Date: 9 Jul 1982 0847-PDT
From: Carolyn Tajnai <CSD.TAJNAI at SU-SCORE>
Subject: Joe and Carolyn Tajnai are having a party
To: CSD-Faculty: ;
Joe and Carolyn Tajnai are having their annual party and all their friends
are invited!
Saturday, July 24, 8 p.m.-->
1532 Emperor Way
Sunnyvale
408/738-2376
We will provide beer, wine, and soft drinks. Please feel free to
bring munchies.
Directions from 280: South on 280 from Stanford area. DeAnza Blvd.
exit (Sunnyvale-Saratoga Road) left turn toward Sunnyvale. Pass
Homestead (big intersection); take next turn to right -- there is a
light -- the sign will say Alberta to the left and Harwick to the
right. Harwick to a T-intersection which is Bittern - left on
Bittern; go to stop sign and turn right on Dunholme. You will pass
two schools - then third street to the right is Emperor. Our house is
the third from the end on the left.
Directions from 101: Take 101 South to 85 exit and head toward
Cupertino. Take Fremont Ave. exit and turn left toward Sunnvale. You
will pass several large intersections. The one to watch for is
Sunnyvale-Saratoga (at the left corner there is Fremont H.S.; across
st. on left is Peter Pan Restaurant and Texaco Station; across on
right is a Shell Station and a small shopping center). Cross
Sunnyvale- Saratoga; take second turn to the right on Floyd; left at
T-intersection which is Dunholme; third turn to the right is Emperor.
Our house is the third from the end on the left.
I'll clear it with the Police Dept. for you to park at Ortega Park at
the end of Emperor because the street will probably fill up.
Do not try to approach our house from Wolfe Road or Homestead -- you
will probably get lost. We are right in the middle of the area
bordered by Wolfe, Homestead, Fremont, and Sunnyvale- Saratoga.
-------
-------
∂09-Jul-82 1353 Ichiki at SRI-AI TINLUNCH 7/15
Date: 9 Jul 1982 1351-PDT
From: Ichiki at SRI-AI
Subject: TINLUNCH 7/15
To: TINlunchers:
To: All TINLUNCH Participants.
The TINLUNCH subject for Thursday, July 15th will be:
USING SLOTS AND MODIFIERS IN LOGIC GRAMMARS FOR
NATURAL LANGUAGE
BY: Michael C. McCord
Copies of the paper should be on Barbara's file cabinet by Monday
morning.
TINLUNCH will be in Conference Room EK242 (usual time--lunch), Michael
McCord will not attend.
Mark Stickel.
-------
∂09-Jul-82 2127 RPG Griss
I talked to Genesereth and Griss; I mentioned to them that I had offered
the mostly vacant Creary desk in my office as a 1-day per week resting
spot for Griss. I intend to interact with him on Lisp matters quite
a lot.
-rpg-
∂09-Jul-82 2143 pratt@Shasta at Sumex-Aim Re: Jamie Frankel
Mail-from: ARPANET site SUMEX-AIM rcvd at 9-Jul-82 2140-PDT
Mail-from: SU-NET host SU-SHASTA rcvd at 9-Jul-82 2136-PDT
Date: 9 July 1982 21:36:59-PDT (Friday)
From: pratt@Shasta at Sumex-Aim
Subject: Re: Jamie Frankel
To: CSD.GOLUB at SU-Score, faculty at SU-Score
I strongly recommend against Frankel's taking a year off. It will do neither
him nor us any good.
-v
∂
.;; Message from host MIT-AI 0300
MARG@MIT-AI 07/11/82 05:59:18
To: jmc at SU-AI
Wow. Always seem to run into you here!
Centre is pretty fun (we settled on six weeks here). We've been
puuting up computers, making touch sensitve displays work, helping
various french (and beyond) people. Almost
everyone I know from the US, (especially Symbolics Inc) are
here at te moment and we are about to do some touristing.
Representatives from all logic programming communites have turned up
hretoo, and I will talkto them next week. (When I was at Uppsala,
KK and I made some neat turtle designs using his controllable backtracking stuff on
turtle commands.).
∂12-Jul-82 0900 JMC*
Steve Petrov 549-3488
∂12-Jul-82 0954 Nancy Dorio <CSD.DORIO at SU-SCORE> pmessage
Date: 12 Jul 1982 0946-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: pmessage
To: jmc at SU-AI
Stanford-Phone: (415) 497-2273
Please call Dr. Waltuch at 323-8161.
-------
∂12-Jul-82 1000 Bob Moore <BMOORE at SRI-AI> Talk by Drew McDermott
Date: 12 Jul 1982 0949-PDT
From: Bob Moore <BMOORE at SRI-AI>
Subject: Talk by Drew McDermott
To: AIC-Associates: ;, jmc at SU-AI
Drew McDermott will give a talk at 3:00 Tuesday afternoon (July 13)
in EJ222 on representation of time for problem solvers.
-------
∂12-Jul-82 1037 Stan at SRI-AI Talk postponed
Date: 12 Jul 1982 1035-PDT
From: Stan at SRI-AI
Subject: Talk postponed
To: TINlunchers:
The presentation by Lauri & Robin which had been scheduled for Wed. at 9:30
is postponed. It will be rescheduled for sometime later in the month.
-------
∂12-Jul-82 1104 Bob Moore <BMOORE at SRI-AI> McDermott talk time change
Date: 12 Jul 1982 1046-PDT
From: Bob Moore <BMOORE at SRI-AI>
Subject: McDermott talk time change
To: jmc at SU-AI, AIC-Associates: ;
Drew's talk will be at 1:30 on Tuesday instead of 3:00.
-------
∂12-Jul-82 1419 Aaai-Office at SUMEX-AIM AAAI-82 Schedule and AAAI Meetings
Date: 12 Jul 1982 1409-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI-82 Schedule and AAAI Meetings
To: AAAI-Distrib:
Folks,
Appended is the AAAI-82 Conference Program Schedule.
Please note: the AAAI Executive Committee meeting is shceduled for
Wednesday at 7:30 p.m. at CMU following a reception in CMU's
Skibo Ballroom.
And, because of an extremely jammed schedule throughout the entire
conference, the AAAI (open) Business Meeting is scheduled for
Thursday morning at 8 a.m.
Unless I hear from you by Thursday, latest, I will assume tacit
approval and prepare the schedule for printing in the AI Magazine
and as the printed conference program schedule.
Thanks.
Lou Robinson
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
AAAI-82 CONFERENCE SCHEDULE
Sunday, August 15, 1982
Tutorial Registration and Reception
Forbes Quadrangle, University of Pittsburgh
Time: 5:30 to 7:00 p.m.
Monday, August 16 -- Friday, August 20
AAAI-82 R&D Exhibit Program -- Forbes Quadrangle
AAAI-82 TUTORIAL PROGRAM
August 16-17
Monday, August 16
An Introductory Tutorial On Artificial Intelligence
Dr. Patrick Winston, MIT
9 a.m. - 1 p.m., Univesity of Pittsburgh Law School Lecture Hall
(or Benedum Auditorium)
A Tutorial on A.I. Programming Technology: Languages and Machines
Dr. Scott Fahlman, Dr. Guy L. Steele, CMU
2 to 6 p.m., University of Pittsburgh Law School Lecture Hall
(or Benedum Auditorium)
A Tutorial on Robotics: Part I -- Introduction and Machine Manipulation
Dr. Tomas Lozano-Perez,MIT
9 a.m. to 1 p.m., University of Pittsburgh Law School Lecture Hall
A Tutorial on Robotics: Part II -- Machine Vision
Dr. Steven Zucker, McGill University
2 p.m. to 6 p.m., University of Pittsburgh Law School Lecture Hall
Monday, August 16 -- Reception 5:30 to 7 p.m.
In the Faculty Dining Room at Carnegie-Mellon University
Tuesday, August 17 (AAAI-82 Tutorial Program, cont'd.)
A Tutorial on Language Interfaces: Part 1 -- Basic Theory and Practice
Dr. Bonnie Lynn Webber and Dr. Timothy Finin, University of Pennsylvania
9 a.m. to 1 p.m., University of Pittsburgh Law School Lecture Hall
A Tutorial on Language Interfaces: Part 2 -- Speech
Dr. Victor Zue,MIT/BBN
2 p.m. to 6 p.m., University of Pittsburgh Law School Lecture Hall
A Tutorial on Expert Systems: Part 1 -- Fundamentals
Dr. Randall Davis and Dr. Charles Rich, MIT
9 a.m. to 1 p.m., University of Pittsburgh Law School Lecture Hall
(or Benedum Auditorium)
A Tutorial on Expert Systems: Part 2 -- Applications Areas
Dr. Randall Davis and Dr. Charles Rich, MIT
2 p.m. to 6 p.m., University of Pittsburgh Law School Lecture Hall
(or Benedum Auditorium)
Tuesday, August 17 -- Reception, 5:30 to 7 p.m.
Main Conference Registration Reception and Happy Hour
Forbes Quadrangle, University of Pittsburgh
AAAI-82 Conference Program
$3 $4Wednesday, August 18, 1982
TIME SLOT: 9:00-11:00a
TOPIC AREA: VISION - 1
Lawrence Hall (left side)
9:00a Prazdny, K.; Fairchild Instrument and Camera Corp., Palo Alto, CA
"Stereoscopic Matching, Eye Position, and Absolute Depth"
9:20 Hoffman, D.D. and W.A. Richards; Massachusetts Inst. Technology,
Cambridge, MA
"Representing Smooth Plane Curves for Recognition Implications
for Figure-Ground Reversal"
9:40 Kender, J.R.; Columbia University, New York, NY
"Why Perspective is Difficult: How Two Algorithms Fail"
10:00 Gennery, D.B.; Jet Propulsion Laboratory, Pasadena, CA
"Tracking Known Three-Dimensional Objects"
10:20 Ikeuchi, K. and Y. Shirai; Electrotechnical Laboratory, Japan
"A Model Based Vision System for Recognition of Machine Parts"
TOPIC AREA: NATURAL LANGUAGE - 1
Lawrence Hall(right side)
9:00a Appelt, D.E.; SRI International, Menlo Park, CA
"Planning Natural-Language Utterances"
9:20 Birnbaum, L.; Yale University, New Haven, CT
"Argument Molecules: A Functional Representation of Argument
Structure"
9:40 Litman, D., J.F. Allen and A.M. Frisch; University of Rochester,
Rochester, NY
"ARGOT: The Rochester Dialogue System"
10:00 Luria, M.; University of California at Berkeley
"Question Answering: Two Separate Processes"
10:20 Conklin, E.J. and D.D. McDonald; University of Massachusetts,
Amherst, MA
"Salience as a Simplifying Metaphor for Natural Language"
TOPIC AREA: PROBLEM SOLVING AND SEARCH - 1
Benedum Auditorium
9:00a Ballard, B.W.; Duke University, Durham, NC
"A Search Procedure for Perfect Information Games of Chance:
Its Formulation and Analysis"
9:20 Rosenschein, J.S.; Stanford University, Stanford, CA
"Synchronization of Multi-Agent Plans"
9:40 Kanal, L.N., D.S. Nau and V. Kumar; University of Maryland,
College Park, MD
"A General Paradigm for A.I. Search Procedures"
$U
$U 1 $3 $4August 18, 1982 $3 $41
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
10:00 Brown, C.A. and P.W. Purdom, Jr.; Indiana University,
Bloomington, IN
"Evaluating Search Methods Analytically"
10:20 Nudel, B.; Rutgers University, New Brunswick, NJ
"Understanding Consistent-Labeling Problems and Their Algorithms"
10:40 Pearl, J.; University of California at Los Angeles
"Distributed Bayesian Processing for Belief Maintenance in
Hierarchical Inference Systems"
$U
$3 $4* * * 11:00a - Lawrence Hall - Panel 1 * * *
"Experience in the Use of Representation Languages"
$3 $4Organizer: Ron Brachman (Fairchild Research Lab, Palo Alto, CA)
Drew McDermott (Yale University, New Haven, CT)
$3 $4Pat Hayes (University of Rochester, Rochester, NY)
Rusty Bobrow (Bolt Beranek and Newman, Cambridge, MA)
Bill Mark (USC/ISI, Marina del Rey, CA)
Rene Bach (Stanford Univerisity, Stanford, CA)
Peter Friedland (Stanford University, Stanford, CA)
* * * * * * * * * * * *
TIME SLOT: 11:20-12:00n
TOPIC AREA: THEOREM PROVING
Benedum Auditorium
11:20a Tyson, M.; SRI International, Menlo Park, CA
"Proof Methods in an Agenda-Based, Natural Deduction Theorem
Prover"
11:40 Stickel, M.E.; SRI International, Menlo Park, CA
"A Non-Clausal Connection Graph Resolution Theorem Proving
Program"
TIME SLOT: 1:30-2:50p
TOPIC AREA: KNOWLEDGE REPRESENTATION - 1
Lawrence Hall (left side)
1:30p Brachman, R. and H.J. Levesque; Fairchild Advanced Research and
Development Laboratory, Palo Alto, CA
"On the Partitioning of Concerns in Knowledge Representation"
1:50 Rich, C.; Massachusetts Inst. Technology, Cambridge, MA
"Knowledge Representation Languages and Predicate Calculus:
How to Have Your Cake and Eat It Too"
2:10 Vilain, M.; Bolt Beranek and Newman, Inc., Cambridge, MA
"A System for Reasoning About Time"
2:30 Konolige, K.; SRI International, Menlo Park, CA
"Circumscriptive Ignorance"
$U 2 $3 $4August 18, 1982 $3 $42
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
TOPIC AREA: NATURAL LANGUAGE - 2
Lawrence Hall (right side)
1:30p Jones, M.A. and D.S. Warren; State Univ. of New York at Stony
Brook, Long Island, NY
"Conceptual Dependency and Montague Grammar: A Step Toward
Conciliation"
1:50 Waltz, D.L.; University of Illinois at Urbana-Champaign
"Event Shape Diagrams"
2:10 Milne, R.; Air Force Inst. Technology, Wright-Patterson AFB, OH
"An Explanation for Minimal Attachment and Right Association"
2:30 Grover, M.D.; TRW, Inc., Redondo Beach, CA
"A Synthetic Approach to Temporal Information Processing"
TOPIC AREA: ROBOTICS
Benedum Auditorium
1:30p Moravec, H.P.; Carnegie-Mellon University, Pittsburgh, PA
"The CMU Rover"
1:50 Brooks, R.A.; Massachusetts Inst. Technology, Cambridge, MA
"Solving the Find-Path Problem by Good Representation of Free
Space"
2:10 Delatizky, J.; Massachusetts Inst. Technology, Cambridge, MA
"Final Position Control in Horizontal Arm Movements"
2:30 Okada, T.; Electrotechnical Laboratory, Japan
"Development of an Overall Direction-of-Action Sensor for
Robots"
$U
* * * 3:10p - Lawrence Hall - Invited Lecture * * *
"Deductive Methods for Commonsense Reasoning"
$3 $4R.C. Moore (SRI International, Menlo Park, CA)
* * * * * * * * * * * *
TIME SLOT: 3:10-4:50p
TOPIC AREA: APPLICATIONS SYSTEMS - 1
(Computer Systems & Engineering)
Benedum Auditorium
3:10p Genesreth, M.R.; Stanford University, Stanford, CA
"Diagnosis Using Hierarchical Design Models"
3:30 Steinberg, L.I. and V.E. Kelly; Rutgers University,
New Brunswick, NJ
"The Critter System Analyzing Digital Circuits by Propagating
Behaviors and Specifications"
3:50 Shubin, H. and J.W. Ulrich; Digital Equipment Corp., Tewksbury, MA
"IDT: An Intelligent Diagnostic Tool"
$U$U
$U 3 $3 $4August 18, 1982 $3 $43
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
4:10 Nelson, W.R.; EG&G Idaho, Inc., Idaho Falls, ID
"REACTOR: An Expert System for Diagnosis and Treatment of
Nuclear Reactor Accidents"
4:30 Underwood, W.E.; Georgia Inst. Technology, Atlanta, GA
"A CSA Model-Based Nuclear Power Plant Consultant"
4:30 : American Association for Artificial Intelligence subgroup:
Artificial Intelligence in Medicine memebership Meeting
(room to be announced)
5:30 to 7 p.m. Main Conference Reception, 5:30 to 7 p.m.
Skibo Ballroom, Carnegie-Mellon University
7:30 p.m. AAAI Executive Committee Meeting at Carnegie-Mellon University
$U 4 $3 $4August 19, 1982 $3 $44
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
Thursday, August 19, 1982
TIME SLOT: 8:00-9:00 a.m.: Business Meeting: American Association for
Artificial Intelligence -- Forbes Quad
TIME SLOT: 9:00-10:40a
TOPIC AREA: APPLICATIONS SYSTEMS - 2 (Knowledge/Databases)
Lawrence Hall (left side)
9:00a Kellogg, C.; System Development Corp., Santa Monica, CA
"Knowledge Management: A Practical Amalgam of Knowledge and
Data Base Technology"
9:20 Siklossy, L., University of Illinois, Chicago-Circle; and
J-L. Lauriere, Universite de Paris VI, Paris, Cedex, France
"Removing Restrictions in the Relational Data Base Model: An
Application of Problem Solving Techniques"
9:40 Tou, F.N. and M.D. Williams; Massachusetts Inst. Technology,
Cambridge, MA
"RABBIT: An Intelligent Database Assistant"
10:00 Ennis, S.P.; Amoco Production Company, Tulsa, OK
"Expert Systems: A User's Perspective of Some Current Tools"
10:20 Weiss, S.M., C. Kulikowski, C. Apte and M. Uschold, Rutgers
University, New Brunswick, NJ; and J. Patchett, R. Brigham
and B. Spitzer, Amoco Production Research
"Building Expert Systems for Controlling Complex Programs"
TOPIC AREA: PROBLEM SOLVING AND SEARCH - 2
Lawrence Hall (right side)
9:00a Davis, R., H. Shrobe, W. Hamscher, K. Wieckert and M. Shirley;
Massachusetts Inst. Technology, Cambridge, MA
"Diagnosis Based on Description of Structure and Function"
9:20 Corkill, D.D., V.R. Lesser and E. Hudlicka; University of
Massachusetts, Amherst, MA
"Unifying Data-Directed and Goal-Directed Control: An Example
and Experiments"
9:40 Srihari, S.N.; State Univ. of New York at Buffalo, Amherst, NY
"Knowledge Integration in Text Recognition"
10:00 Simmons, R.G.; Massachusetts Inst. Technology, Cambridge, MA
"Spatial and Temporal Reasoning in Geologic Map Interpretation"
10:20 Fox, M.S., B. Allen and G. Strohm; Carnegie-Mellon University,
Pittsburgh, PA
"Job-Shop Scheduling: An Investigation in Constraint-Directed
Reasoning"
TOPIC AREA: KNOWLEDGE REPRESENTATION - 2
Benedum Auditorium
9:00a Forbus, K.; Massachusetts Inst. Technology, Cambridge, MA
"Modeling Motion with Qualitative Process Theory"
9:20 Kuipers, B.; Tufts University, Medford, MA
"Getting the Envisionment Right"
$U
$U 5 $3 $4August 19, 1982 $3 $45
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
9:40 Berliner, H.J. and D.H. Ackley; Carnegie-Mellon University,
Pittsburgh, PA
"The QBKG System: Generating Explanations from a Non-Discrete
Knowledge Representation"
10:00 Uhrik, C.T.; University of Illinois at Urbana-Champaign
"PLANT/sd Revisited: Non-Homogenous Evaluation Schema in
Expert Systems"
10:20 Rowe, N.C.; Stanford University, Stanford, CA
"Inheritance of Statistical Properties"
$U
$U $3 $4* * * 11:00a - Lawrence Hall - AAAI President's Address * * *
$3 $4M.L. Minsky, Massachusetts Inst. Technology, Cambridge, MA
* * * * * * * * * * * *
$U
* * * 12:00n - SIGART Annual Meeting * * *
TIME SLOT: 1:30-2:50p
TOPIC AREA: PROGRAM SYNTHESIS AND UNDERSTANDING
Lawrence Hall (left side)
1:30p Laubsch, J., Universitaet Stuttgart, Stuttgart, West Germany;
and M. Eisenstadt, The Open University, Milton Keynes, England
"Using Temporal Abstraction to Understand Recursive Programs
Involving Side Effects"
1:50 Swartout, W.; USC/Information Sciences Inst., Marina del Rey, CA
"GIST English Generator"
TOPIC AREA: KNOWLEDGE ACQUISITION
Lawrence Hall (left side)
2:10p DeJong, G.; University of Illinois at Urbana-Champaign
"Automatic Schema Acquisition in a Natural Language Environment"
2:30 Utgoff, P.E.; Rutgers University, New Brunswick, NJ
"Acquisition of Appropriate Bias for Inductive Concept Learning"
TOPIC AREA: VISION - 2
Lawrence Hall (right side)
1:30p Pentland, A.P.; Massachusetts Inst. Technology, Cambridge, MA
"Local Computation of Shape"
1:50 Faugeras, O.D.; I.N.R.I.A., Cedex, France
"Relaxation Labeling and Evidence Gathering"
2:10 Thompson, W.B., K.M. Mutch and V. Berzins; Univ. of Minnesota,
Minneapolis, MN
"Edge Detection in Optical Flow Fields"
$U$U
$U 6 $3 $4August 19, 1982 $3 $46
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
2:30 Fischler, M.A., S.T. Barnard, R.C. Bolles, M. Lowry, L. Quam
and G. Smith; SRI International, Menlo Park, CA
"Modeling and Using Physical Constraints in Scene Analysis"
$U
TOPIC AREA: COGNITIVE MODELING - 2
Benedum Auditorium
1:30p Brewer, W.F.; University of Illinois at Urbana-Champaign
"Plan Understanding, Narrative Comprehension, and Story
Schemas"
1:50 Dyer, M.G.; Yale University, New Haven, CT
"Affect Processing for Narratives"
2:10 Flowers, M.; Yale University, New Haven, CT
"On Being Contradictory"
2:30 Kolodner, J.L.; Georgia Inst. Technology, Atlanta, GA
"The Role of Experience in Development of Expertise"
$U
* * * 3:10p - Lawrence Hall - Panel 2 * * *
"The Effects of Business on AI"
$3 $4Organizer: R. Schank (Yale University, New Haven, CT)
$3 $4A. Newell (Carnegie-Mellon University, Pittsburgh, PA)
M. Denicoff (Office of Naval Research, Arlington, VA)
* * * * * * * * * * * *
$U
TIME SLOT: 3:10-4:30p
TOPIC AREA: COGNITIVE MODELING - 1
Benedum Auditorium
3:10p Small, S.L., G. Cottrell and L. Shastri; University of Rochester,
Rochester, NY
"Toward Connectionist Parsing"
3:30 Selfridge, M.; University of Connecticut, Storrs, CT
"Why Do Children Misunderstand Reversible Passives? The CHILD
Program Learns to Understand Passive Sentences"
3:50 Rosenbloom, P.S.; Carnegie-Mellon University, Pittsburgh, PA
"Learning by Chunking - Summary of a Task and a Model"
4:10 Lesk, M. and R.J. Elliot; Bell Laboratories, Murray Hill, NJ
"Route Finding in Street Maps by Computers and People"
6 to 7 p.m.: Boarding for Gateway Clipper Cruise
7 to 10 p.m.: Dinner/Dance aboard Gateway Clipper Cruise vessels
$U 7 $3 $4August 20, 1982 $3 $47
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
Friday, August 20, 1982
TIME SLOT: 9:00-10:40a
TOPIC AREA: APPLICATIONS SYSTEMS - 3
Lawrence Hall (left side)
9:00a Stabile, L.A.; PRIME Computer, Inc., Framingham, MA
"Frame-Based Computer Network Monitoring"
9:20 Klahr, P.; The RAND Corporation, Santa Monica, CA
"SWIRL: An Object-Oriented Air Battle Simulator"
9:40 London, B. and W.J. Clancey; Stanford University, Stanford, CA
"Plan Recognition Strategies in Student Modeling: Prediction
and Description"
10:00 Shrager, J., Carnegie-Mellon University, Pittsburgh, PA; and
T. Finin, University of Pennsylvania, Pittsburgh, PA
"An Expert System that Volunteers Advice"
10:20 Iwasaki, Y. and P. Friedland; Stanford University, Stanford, CA
"SPEX: A Second-Generation Experiment Design System"
TOPIC AREA: THEORETICAL FOUNDATIONS
Lawrence Hall (right side)
9:00a Reiter, R.; Rutgers University, New Brunswick, NJ
"Circumscription Implies Predicate Completion (Sometimes)"
9:20 Mays, E.; University of Pennsylvania, Philadelphia, PA
"Monitors as Responses to Questions: Determining Competence"
9:40 Lemmer, J.F. and S. Barth; PAR Technology Corp., New Hartford, NY
"Efficient Minimum Information Updating for Bayesian
Inferencing in Expert Systems"
10:00 Moore, R.C.; SRI International, Menlo Park, CA
"The Role of Logic in Knowledge Representation and Commonsense
Reasoning"
10:20 de Kleer, J. and J.S. Brown; Xerox Palo Alto Research Center,
Palo Alto, CA
"Foundations of Envisioning"
TOPIC AREA: PROBLEM SOLVING AND SEARCH - 3
Benedum Auditorium
9:00a Lenat, D.B.; Stanford University, Stanford, CA
"Heuretics: The Theoretical and Experimental Study of
Heuristic Rules"
9:20 Korf, R.E.; Carnegie-Mellon University, Pittsburgh, PA
"A Program that Learns to Solve Rubik's Cube"
9:40 Carbonell, J.G.; Carnegie-Mellon University, Pittsburgh, PA
"Experiential Learning in Analogical Problem Solving"
$U
$U 8 $3 $4August 20, 1982 $3 $48
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
TOPIC AREA: AI LANGUAGES AND SOFTWARE
Benedum Auditorium
10:00a Ingalls, D.H.H., Xerox Palo Alto Research Center, Palo Alto, CA;
and A.H. Borning, University of Washington, Seattle, WA
"Multiple Inheritance in Smalltalk-80"
TOPIC AREA: SPECIALIZED ARCHITECTURES FOR AI
Benedum Auditorium
10:20a Stoflo, S.J. and D.E. Shaw; Columbia University, New York, NY
"DADO: A Tree-Structured Machine Architecture for Production
Systems"
$U
$3 $4* * * 11:00a - Lawrence Hall - Panel 3 * * *
$3 $4"Heuristics"
$3 $4Organizer: Doug Lenat (Stanford University, Stanford, CA)
$3 $4Alan Newell (Carnegie-Mellon University, Pittsburgh, PA)
$3 $4Herbert Simon (Carnegie-Mellon University, Pittsburgh, PA)
Marvin Minsky (Massachusetts Inst. Technology, Cambridge, MA(
$3 $4Nils Nilsson (SRI International, Menlo Park, CA)
$3 $4Judea Pearl (Univ. Southern California, Los Angeles, CA)
* * * * * * * * * * * *
$U
TIME SLOT: 11:00-12:10a
TOPIC AREA: VISION - 3
Benedum Auditorium
11:00a Witkin, A.P.; Fairchild Artificial Intelligence Research
Laboratory, Palo Alto, CA
"Intensity Based Edge Classification"
11:20 Medioni, G.G.; University of Southern California, Los Angeles, CA
"Segmentation of Images into Regions Using Edge Information"
11:50 Fang, J-Q.; University of Illinois at Urbana-Champaign
"A Corner Finding Algorithm for Image Analysis and Registration"
TIME SLOT: 1:30-2:30p
TOPIC AREA: APPLICATIONS SYSTEMS - 4 (Medical)
Lawrence Hall (left side)
1:30p Patil, R.S. and P. Szolovitz, Massachusetts Inst. Technology,
Cambridge, MA; and W.B. Schwartz, Tufts University, Boston, MA
"Information Acquisition in Diagnosis"
$U
$U 9 $3 $4August 20, 1982 $3 $49
$3 $4NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE
1:50 Mittal, S. and B. Chandrasekaran; Ohio State University,
Columbus, OH
"Deep Versus Compiled Knowledge Approaches to Diagnostic
Problem Solving"
2:10 Blum, R.L.; Stanford University, Stanford, CA
"Studying Hypotheses on a Time-Oriented Clinical Database: An
Overview of the RX Project"
2:30 Pollack, M.E. and J. Hirschberg; University of Pennsylvania,
Philadelphia, PA
"User Participation in the Reasoning Processes of Expert
Systems"
$U
TOPIC AREA: PROBLEM SOLVING AND SEARCH - 4
Lawrence Hall (right side)
1:30p McCalla, G. and B. Ward; University of Saskatchewan, Canada
"Error Detection and Recovery in a Dynamic Planning Environment"
1:50 Wall, R.S. and E.L. Rissland; University of Massachusetts,
Amherst, MA
"Scenarios as an Aid to Planning"
2:10 McArthur, D., R. Steeb and S. Cammarata; The RAND Corporation,
Santa Monica, CA
"A Framework for Distributed Problem Solving"
2:30 Faletti, J.; University of California at Berkeley
"PANDORA - A Program for Doing Commonsense Planning in Complex
Situations"
TOPIC AREA: NATURAL LANGUAGE AND SPEECH - 3
Benedum Auditorium
1:30p Hirst, G. and E. Charniak; Brown University, Providence, RI
"Word Sense and Case Slot Disambiguation"
1:50 Keirsey, D.M.; University of California, Irvine
"Word Learning with Hierarchy-Guided Inference"
2:10 Wilensky, R.; University of California, Berkeley
"Talking to Unix in English: An Overview of UC"
2:30 De Mori, R. and P. Laface; CENS - Istituto di Elettrotecnica
Generale, Torino, Italy
"An Expert System for Describing Speech Patterns"
* * * 3:10p - Lawrence Hall * * *
$3 $4Omni Panel on Science Fiction and AI
Marvin Minsky (Massachusetts Inst. Technology, Cambridge, MA)
James Hogan, Frederick Pohl, Werner Vinge
* * * * * * * * * * * *
Friday, August 20 -- Reception: Hail and Farewell, 5 to 7 p.m.
Carnegie-Mellon University
$U 10 $3 $4August 20, 1982 $3 $410
$4$
-------
∂12-Jul-82 2240 CSD.ULLMAN@SU-SCORE (SuNet) [Betty Scott <CSD.BSCOTT at SU-SCORE>: ARPA Equipment Proposal]
Mail-from: SU-NET host SUMEX-AIM rcvd at 12 Jul 1982 22:30:58-PDT
Mail-from: ARPANET host SU-SCORE rcvd at 12-Jul-82 2228-PDT
Date: 12 Jul 1982 1951-PDT
From: Jeffrey D. Ullman <CSD.ULLMAN at SU-SCORE>
Subject: [Betty Scott <CSD.BSCOTT at SU-SCORE>: ARPA Equipment Proposal]
To: equip at SU-SHASTA
Here's the latest, guys.
---------------
Mail-From: CSD.BSCOTT created at 12-Jul-82 15:31:39
Date: 12 Jul 1982 1531-PDT
From: Betty Scott <CSD.BSCOTT at SU-SCORE at Shasta>
Subject: ARPA Equipment Proposal
To: CSD.Ullman at SU-SCORE, CSD.Genesereth at SU-SCORE, CSL.JLH at SU-SCORE,
Rindfleisch at SUMEX-AIM
cc: CSD.BScott at SU-SCORE
Hope I haven't forgotten anyone who's interested.
Anyway, Ron Ohlander called me about another matter this morning, so I
asked what the current status of the equipment proposal might be.
He said that it is still in the contracts office, and that proposals
with salaries are being processed ahead of it. He said it probably would
be processed out of the contracts office by the end of the month. I would
guess that we probably won't have the contract before the end of August,
considering that it has to go back and forth for approvals.
I'll keep you informed.
Betty
-------
-------
∂13-Jul-82 0900 JMC*
Chien 202 357-7345
Please call Dr. Chien at NSF 202 357-7345 concerning a report about my
unexpended funds on my grants that is required for processing the
grant for Ketonen's support. Also Chien tried to phone Ketonen and
was told by whoever answered the department phone that he didn't have
an extension. It has been 4202 for at least 2 years.
I'm not entirely sure that Chien isn't confused about something.
∂13-Jul-82 1031 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF JULY 12 - 16, 1982
Date: 13 Jul 1982 0807-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF JULY 12 - 16, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
7/16/82 MJ301 Neil Rowe
Friday Database Research Stanford University
3:15 p.m. Seminar ``Two Topics in Statistical Estimates on
Databases''
-------
∂13-Jul-82 1430 Betty Scott <CSD.BSCOTT at SU-SCORE>
Date: 13 Jul 1982 1419-PDT
From: Betty Scott <CSD.BSCOTT at SU-SCORE>
To: JMC at SU-AI
cc: CSD.BSCOTT at SU-SCORE
In-Reply-To: Your message of 13-Jul-82 1237-PDT
I don't know what the problem is, John, but I'll call Dr. Chien first
thing in the morning--didn't see your message until just now. I'll also
find out why Ketonen was not known when Dr. Chien called the Department--
Ketonen is certainly on our phone list.
Betty
-------
∂13-Jul-82 1810 Ichiki at SRI-AI Remember TINLUNCH 7/15
Date: 13 Jul 1982 1809-PDT
From: Ichiki at SRI-AI
Subject: Remember TINLUNCH 7/15
To: TINlunchers:
To: All TINLUNCH Participants.
The TINLUNCH subject for Thursday, July 15th will be:
USING SLOTS AND MODIFIERS IN LOGIC GRAMMARS FOR
NATURAL LANGUAGE
BY: Michael C. McCord
Copies of the paper should be on Barbara's file cabinet by Monday
morning.
TINLUNCH will be in Conference Room EK242 (usual time--lunch), Michael
McCord will not attend.
Mark Stickel.
-------
∂13-Jul-82 2303 Gene Golub <CSD.GOLUB at SU-SCORE>
Date: 13 Jul 1982 2302-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
To: JMC at SU-AI
In-Reply-To: Your message of 12-Jul-82 1856-PDT
John! Thanks for sending the message. What salary are you proposing?
G
-------
I was supposing that you would decide that after you see the c.v.
∂15-Jul-82 1059 BUCHANAN at SUMEX-AIM mtg with Director of ARPA
Date: 15 Jul 1982 1052-PDT
From: BUCHANAN at SUMEX-AIM
Subject: mtg with Director of ARPA
To: jmc at SU-AI
John,
It looks like Dr. Cooper & Bob Kahn will be visiting the West Coast
AFTER AAAI, probably the week of Aug.23-27. Will you be in town that
week and/or the next week?
The tentative plan is for them to meet with Meindl & Gibbons for
half a day and a small group of AI folk the 2nd half, so I am also
coordinating with Meindl.
thanks,
bgb
-------
Yes, I plan to be in town Aug. 23-27.
∂15-Jul-82 1527 Gene Golub <CSD.GOLUB at SU-SCORE> Jamie Frankel
Date: 15 Jul 1982 1520-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Jamie Frankel
To: faculty at SU-SCORE
Jamie Frankel called and indicated he would like to come the year
after next. Since I received so many differing opinions, I decided
that we could not postpone the appointment. I don't think it is fair
to us or him to hold the position open for a year. I told him we would
be pleased to reconsider the appointment. We agreed to keep in touch
and the call ended in a friendly way. Next year we can try again.
GENE
-------
∂15-Jul-82 1558 Jeffrey D. Ullman <CSD.ULLMAN at SU-SCORE> housesit
Date: 15 Jul 1982 1553-PDT
From: Jeffrey D. Ullman <CSD.ULLMAN at SU-SCORE>
Subject: housesit
To: CSD-Faculty: ;
Does anyone have a visitor coming the last two weeks in August who
would like to "housesit" at my place?
-------
∂15-Jul-82 1655 Aaai-Office at SUMEX-AIM Fine Tuning, Conference Schedule
Date: 15 Jul 1982 1652-PDT
From: Aaai-Office at SUMEX-AIM
Subject: Fine Tuning, Conference Schedule
To: AAAI-Distrib:
cc: Scott.Fahlman at CMU-10A, Shortliffe at SUMEX-AIM
Folks,
The following meetings at AAAI-82 should be of interest to you:
Wednesday, August 18 -- Noon:
AAAI Publications Committee Meetings ( Lee Erman)
Wednesday, August 18 -- 4:30 p.m.
AAAI-Medicine membership meeting, Lawrence Hall Room 104
(Ted Shortliffe)
Wednesday, August 18 -- 7:30 p.m.
AAAI Executive Committee meeting, following Skibo Ballroom
Reception at CMU (Marvin Minsky)
Thursday, August 19 -- noon
AAAI (open) Business Meeting, Forbes Quadrangle Classroom
(Marvin Minsky/Nils Nilsson)
Friday, August 20 -- noon
SIGART Annual Meeting, Forbes Quadrangle Classroom
Barbara Grosz
These are the only side meetings going on that Scott Fahlman or
I know about.
-------
∂16-Jul-82 0930 MDD via NYU ATP "Milestone" Prize
To: DCL
CC: JMC
In a separate message I'm sending a draft citation. Replies
(soon please) should be sentto MDD at SAIL
and/or to DAVISM.ACF1 at NYU. -Martin
∂16-Jul-82 0934 MDD via NYU Citation
To: DCL
CC: JMC
CITATION FOR HAO WANG AS WINNER OF "MILESTONE" AWARD IN
AUTOMATIC THEOREM-PROVING
The first "milestone" prize for research in automatic
theorem-proving is hereby awarded to Professor Hao Wang of
Rockefeller University for his fundamental contributions to the
founding of the field. Among these, the following may be listed:
1. He emphasized that what was at issue was the development
of a new intellectual endeavor (which he proposed to call "inferential
analysis") which would lean on mathematical logic much as numerical
analysis leans on mathematical analysis.
2. He insisted on the fundamental role of predicate calculus
and of the "cut-free" formalisms of Herbrand and Gentzen.
3. He implemented a proof-procedure which efficiently proved
all of the over 350 theorems of Russell and Whitehead's "Principia
Mathematica" which are part of the predicate calculus with equality.
4. He was the first to emphasize the importance of algorithms
which "eliminate in advance useless terms" in a Herbrand expansion.
5. He gave a critical analysis of the notion of "heuristic
method," thereby helping to elevate discussion of this matter to
a higher plane.
6. He provided a well-thought out list of theorems of the
predicate calculus which could serve as challange problems for
helping to judge the effectiveness of new theorem-proving programs.
ARTICLES BY HAO WANG ON AUTOMATIC THEOREM-PROVING
1."Towards Mechanical Mathematics" IBM J. Res. Dev., vol.4(1960),
pp.2-22.
2."Proving Theorems by Pattern Recognition - I" CACM, vol.3(1960),
pp.220-234.
3."Proving Theorems by Pattern Recognition - II" Bell System Technical
Journal, vol.40(1961), pp.1-41.
4."Mechanical Mathematics and Inferential Analysis" Braffort and
Hirschberg (editors), COMPUTER PROGRAMMING AND FORMAL SYSTEMS,
North-Holland 1963, pp.1-20.
5."The Mechanization of Mechanical Arguments" Proc. Symp. Applied
Math., vol.15(1963), pp.31-40.
6."Formalization and Automatic Theorem-Proving" Proc. IFIP Congress
1965, pp.51-58.
∂16-Jul-82 1002 DCL Citation
To: MDD
CC: JMC
Martin,
Seems OK to me. I'm not sure how "efficient" Wangs proof procedure was on
Principia. He showed it was do able.
What was the relative performance of his stuff versus Gilmore's at that
time?
I do not know how much credit he should get for "heuristics".
The Gerlernter/Minksy stuff was around at the time of his papers.
I remember that Wang was pretty negative about theorem proving as a result
of the performances of his programs - he gave a seminar at MIT one time
which (my memory isnt too good) sort of associated Herbrand methods with
republican politics (good guys) and heuristic methods with very left wing
guys (this was just the time when McCarthyism - Joe! was fresh in poeples
minds).
- David
∂16-Jul-82 1150 MDD via NYU
To: DCL
CC: JMC
His program for a 704 took 9 minutes for all predicate calculus
theorems of Principia. If you prefer I'll erase "efficient".
My belief is that Wang's program was much better than Gilmore's and
not comparable with Davis-Putnam - viz. DP was much better on proposit-
ional calculus but not as good as Wang's in
avoiding irrelevant instantiations. On heuristics I referred to
Wang's critique of Newell-Simon-Shaw. Please suggest specific changes
to meet remaining objections.
I have one last caveat concerning award to Wang. Does he want it?
If he regards his work in theorem proving as unimportant, having
him give a lecture on it may be an embarassment both to him and
to the audience. Martin, do you know is attitude? If not, would
you sound him out before we go public.
∂16-Jul-82 1502 Konolige at SRI-AI Thesis talk
Date: 16 Jul 1982 1501-PDT
From: Konolige at SRI-AI
Subject: Thesis talk
To: AIC-Staff:
cc: AIC-Associates:
I will be giving a talk on my thesis work on models of belief
on Thursday, July 22 in EK242. An abstract follows.
ABSTRACT
Formal models of belief are useful to AI systems that must reason
about the beliefs of other agents; example domains are planning
cooperative tasks or interpreting utterances. Hintikka's possible world
model of knowledge is usually assumed in these systems, yet it suffers
from several defects: it characterizes the knowledge that an agent has in
terms of a set of possible worlds that are compatible with that knowledge,
a very unintuitive model; it makes the untenable assumption that an agent
knows all consequences of his knowledge; and there are no good direct
proof methods for the modal logic that axiomatizes it, although indirect
ones involving a first-order axiomatization of possible worlds have been
developed.
A more natural model for belief is a finite set of base
statements, together with a sound but incomplete inference method that
derives consequences from the base set. Such a model has a natural
axiomatization in a so-called ``syntaxal'' language, in which statements
about the world are reified as terms and belief is a relation between an
agent and such statements. However, such axiomatizations tend to be very
difficult for automatic theorem provers to deal with.
Several results on syntaxal languages for belief are developed.
The most important technical result is the derivation of new proof
techniques involving a generalization of semantic attachment. A second
result is that in the limit where the belief inference method is complete,
the syntaxal language can be shown to be equivalent to the modal language.
-------
∂16-Jul-82 1511 DCL
To: MDD
CC: JMC
∂16-Jul-82 1315 JMC
To: MDD, DCL
I have one last caveat concerning award to Wang. Does he want it?
If he regards his work in theorem proving as unimportant, having
him give a lecture on it may be an embarassment both to him and
to the audience. Martin, do you know is attitude? If not, would
you sound him out before we go public.
REPLY:
I second this - didnt think of it! - David
∂16-Jul-82 1534 Bob Moore <BMOORE at SRI-AI> Re: postponement
Date: 16 Jul 1982 1512-PDT
From: Bob Moore <BMOORE at SRI-AI>
Subject: Re: postponement
To: JMC at SU-AI
cc: BMOORE at SRI-AI
In-Reply-To: Your message of 16-Jul-82 1416-PDT
John,
There has been much ferment here today about this business. We, too, could
use some extra time to think. Some of our original intuitions about
circumscription seem to be wrong; Section 6 of your AI journal paper seems
to have unexpected (to us) implications.
--Bob
-------
∂18-Jul-82 0604 Martin.Griss <Griss at UTAH-20> genesereth
Date: 18 Jul 1982 0705-MDT
From: Martin.Griss <Griss at UTAH-20>
Subject: genesereth
To: jmc at SU-AI, csd.golub at SU-SCORE
cc: griss at UTAH-20
Havenmt heard anything from him. I guess we'll just have to play it by ear.
-------
∂19-Jul-82 1114 FFL
To: JMC, FFL
KATHIE APARICIO OF THE CALIFORNIA COUNCIL FOR THE HUMANITIES CALLED AND
WOULD LIKE YOU TO CALL HER AT YOUR CONVENIENCE. 547-L726.
∂19-Jul-82 1128 CLT
please get the lights and fan belt fixed this week
∂19-Jul-82 1129 MDD via NYU
To: DCL at SU-AI, JMC at SU-AI
CC: davism.acf1 at NYU
I talked to Wang this morning; he was (not surprisingly) thoroughly
delighted. Please make specific suggestions for changes to my proposed
"Citation" or give me your go-ahead to communicate it to Bledsoe.
-Martin
∂19-Jul-82 1332 Bob Moore <BMOORE at SRI-AI> Upcoming talks
Date: 19 Jul 1982 1320-PDT
From: Bob Moore <BMOORE at SRI-AI>
Subject: Upcoming talks
To: AIC-Associates: ;
Tommorrow (Tuesday) at 3:00 in EJ222, Drew McDermott will give a talk on
a logic of planning.
Wednesday at 3:00 in EK242, Ray Turner will give a talk on the semantics of
nominalized predicates.
-------
∂19-Jul-82 1501 Ichiki at SRI-AI TINLUNCH 7/22
Date: 19 Jul 1982 1500-PDT
From: Ichiki at SRI-AI
Subject: TINLUNCH 7/22
To: TINlunchers:
From: Paul Martin <PMARTIN at SRI-AI>
TINLUNCH for 22 July is the long-awaited Brachman talk. Ron Brachman
will attend and discuss his paper, "What ISA Is and Isn't" from the
Proceedings of the Canadian AI Conference. Copies of the paper will
be on Barbara Grosz's file cabinet (EK270).
The talk will be at the usual time (12:00 to approx. 1:00) 7/22 in
Conference Room EK242.
-------
∂20-Jul-82 1449 MDD via NYU
To: JMC, DCL
Any final comments on the Wang "Citation" ? -Martin
The present form of the Wang citation is fine with me.
∂20-Jul-82 1525 Konolige at SRI-AI (Kurt Konolige) Talk time
Date: 20 Jul 1982 1512-PDT
From: Konolige at SRI-AI (Kurt Konolige)
Subject: Talk time
To: AIC-Associates:
The time of my talk on Thursday is 10:30 (in EK242). I should
have a rough draft of the overviw chapter of my thesis available Thursday
morning. --kk
-------
∂20-Jul-82 1648 MDD via NYU
To: Bledsoe at UTEXAS-20
CC: JMC at SU-AI, DCL at SU-AI
As mentioned in our telephone conversation, we have selected
Hao Wang as our nominee for the first "milestone" award
in automatic theorem-proving. I am sending our draft
citation by separate ARPA-mail. -Martin
∂20-Jul-82 1647 MDD via NYU
To: JMC, DCL
Thanks. I'll send the citation on to Bledsoe.-Martin
∂20-Jul-82 2016 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Date: 20 Jul 1982 2210-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
To: MDD at SU-AI, Bledsoe at UTEXAS-20
cc: JMC at SU-AI, DCL at SU-AI, ATP.Bledsoe at UTEXAS-20
In-Reply-To: Your message of 20-Jul-82 1848-CDT
Dear Martin, John, and David:
Thank you for your nomination and the draft citation. I am
personally pleased with the nomination and will urge its acceptance by
the full ATP Prize Committee. I see no difficulty with that.
I am also pleased with the citation (except for a small point) and
think it will serve us well this time, and could become a guide
for future citations.
Now to the small point. The use of the words "heuristic" and
"elevate" are fine for making a good point for Wang; however, at
the same time (In my judgement) they take a swipe at Newall and
Simon. I'm sure that was not your intention. It seems to me that
Wang's arguments about "pattern recognition" as a guide to proof
discovery is a vote for heuristic meathods. But whether he felt
that way or not, many of us do feel that heuristics will play a
crucial role in ATP. Can't we reword that part of the Citation?
I'd much appreciate it if you would try.
Thanks for your help, all of you.
Best regards,
Woody
-------
∂21-Jul-82 1024 MDD via NYU
To: DCL, JMC
OK. Let's accommodate Woody. I suggest eliminating item 5 (on heuristics)
and renumbering item 6 to make it item 5. Al;ternatively, one of you
could try to rewrite the present item 5. -Martin
∂21-Jul-82 1030 DCL Citation
To: MDD, JMC
I too felt that the mention of heuristics was a bit misleading, but I didnt
know what to say.
- David
∂21-Jul-82 1043 MDD via NYU your memo of this AM
To: DCL
CC: JMC
Do you therefore agree to deleting section 5 of the Wang "Citation"?
-Martin
∂21-Jul-82 1145 MDD via NYU
To: JMC
CC: DCL
David agrees to deleting section 5 from the Wang "Citation".
Do you also agree? -Martin
I also agree.
∂21-Jul-82 1159 Bob Moore <BMOORE at SRI-AI> talk by Pat Hayes
Date: 21 Jul 1982 1151-PDT
From: Bob Moore <BMOORE at SRI-AI>
Subject: talk by Pat Hayes
To: AIC-Associates: ;
Pat Hayes will give a talk at 10:30 Friday morning in EK242 on the
expressive power of first-order logic.
-------
∂21-Jul-82 1152 NAN pmessage
john Miller callled from Dublin Ireland. Please call him back before 4 p.m. this afternoon. Claims you have the telephone no. jon Abbis took this message, I am only putting it on line for you.
∂22-Jul-82 2045 Stan at SRI-AI Lauri & Robin
Date: 22 Jul 1982 0934-PDT
From: Stan at SRI-AI
Subject: Lauri & Robin
To: TINlunchers:
Lauri Karttunen & Robin Cooper will discuss their implementation of
situation semantics & discourse models on Wednesday, July 28, at 9:30 am
in J222.
--Stan
-------
∂22-Jul-82 2047 JMC at SRI-AI cbcl
Date: 22 Jul 1982 1702-PDT
From: JMC at SRI-AI
Subject: cbcl
To: jmc at SU-AI
-------
∂22-Jul-82 2048 Ichiki at SRI-AI Proceedings of Conf. on Office Inf. Systems
Date: 22 Jul 1982 1548-PDT
From: Ichiki at SRI-AI
Subject: Proceedings of Conf. on Office Inf. Systems
To: AIC-Associates:
The SIGOA Conference on Office Information Systems Proceedings, June
21-23, 1982, will be in the AIC Library. Following is a list of the
contents:
Foreword
Organizing Committee
SESSION 1--OFFICE SYSTEMS
Chairperson: S. B. Yao
Traits: An approach to Multiple-Inheritance Subclassing
By: G. Curry, L. Baer, D. Lipkie and B. Lee
The Design of Star's Records Processing: Data Processing
for Non-Computer Professionals (Abstract Only)
By: R. Purvy, J. Farrell and P. Klose
Office Information Systems Research and Development Projects
in Europe (Invited Paper, Abstract Only)
By: N. Naffah
SESSION 2--MODELS
Chairperson: R. E. Fikes
Dialogue and Process Design for Interactive Information
Systems Using Taxis
By: J. Barron
Office Information Models and the Representation of
"Office Objects"
By: S. J. Gibbs
An OIS Model for Internal Control Evaluation (Abstract Only)
By: A. D. Bailey, Jr., J. Gerlach, R. P. McAfee and
A. B. Whinston
SESSION 3--USER INTERFACE
Chairperson: J. H. Bair
How do People Really Use Text Editors?
By: J. Whiteside, N. Archer, D. Wixon and M. Good
Virtual Editing: II. The User Interface
By: H. A. Wilder and N. F. Maxemchuk
How do People Organize Their Desks? Implications for the
Design of Office Information Systems (Abstract Only)
By: T. W. Malone
SESSION 4--PANEL: EVALUATION OF OFFICES
Chairperson: W. Harless
SESSION 5--ARTIFICIAL INTELLIGENCE
Chairperson: C. Hewitt
Extending the Power of Programming by Examples
By: G. Attardi and M. Simi
An Actor-Based Programming System
By: R. J. Byrd, S. E. Smith and S. P. de Jong
Supporting Organizational Problem Solving with a Workstation
(Abstract Only)
By: G. R. Barber
SESSION 6--USER NEEDS
Chairperson: C. Cook
Toward a New Framework for Office Support
By: R. R. Panko and R. H. Sprague, Jr.
Implementing Office Automation: Principles and an Electronic
Mail Example
By: J. H. Tucker
A Case Study of Office Workstation Use
By: C. V. Bullen, J. L. Bennett and E. D. Carlson
SESSION 7--VOICE AND TEXT PROCESSING
Chairperson: F. H. Lochovsky
Integrating Diverse Knowledge Sources in Text Recognition
(Abstract Only)
By: S. N. Srihari, J. J. Hull and R. Choudhari
Message Files (Abstract Only)
By: D. Tsichritzis and S. Christodoulakis
A Voice Reasponse System for an Office Information System
By: D. L. Lee
SESSION 8--PANEL: VIEWS OF OFFICE DATA
Chairperson: S. P. de Jong
SESSION 9--FORMS
Chairperson: J. F. Rulifson
SEDL--A Language for Specifying Integrity Constraints on
Office Forms
By: J. C. Ferrans
OFFICETALK-D: An Experimental Office Information System
By: C. A. Ellis and M. Bernal
A Modeling Tool for Office Information Systems
By: J. Lebensold, T. Radhakrishnan and W. M. Jaworski
SESSION 10--COMMUNICATIONS
Chairperson: K. Kummerele
Development of a CBMS Message Transfer Protocol
By: G. F. Mulvenna
PANEL: HOW MUCH BANDWIDTH IS ENOUGH?
Author Index
-------
∂23-Jul-82 0120 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF JULY 19 - 23, 1982.
Date: 22 Jul 1982 0917-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: ADDENDUM TO COLLOQUIUM NOTICE WEEK OF JULY 19 - 23, 1982.
To: colloq: ;
Stanford-Phone: (415) 497-2273
Database Research Seminar - Friday, July 23, 1982 at 3:15 p.m. in MJ301.
Shel Finkelstein from Stanford University, will speak on "Updating
Database Snapshots."
-------
∂23-Jul-82 0121 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK 0F JULY 26 - 30, 1982
Date: 22 Jul 1982 0925-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK 0F JULY 26 - 30, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
7/28/82 460-146 Kevin Karplus
Wednesday Ph.D Oral Stanford University
2:30 p.m. ``An Extension to the Programming Language C for
VLSI Layout''
7/29/82 460-146 Erik Gilbert
Thursday Ph.D Oral Stanford University
9 A.M. ``Algorithm Partitioning Tools for a
High-Performance Multiprocessor''
!
-------
∂23-Jul-82 0648 MDD via NYU heuristics
To: bledsoe at UTEXAS-20
CC: DCL at SU-AI, JMC at SU-AI
In response to your "small point" we propose to simply
delete the section of the Wang "Citation" dealing with
heuristics. I hope you regard this as OK. I am forwarding the
revised "Citation". -Martin
∂23-Jul-82 0711 MDD via NYU
To: bledsoe at UTEXAS-20
CC: JMC at SU-AI, DCL at SU-AI, davism.acf1 at NYU
CITATION FOR HAO WANG AS WINNER OF "MILESTONE" AWARD IN
AUTOMATIC THEOREM-PROVING
The first "milestone" prize for research in automatic
theorem-proving is hereby awarded to Professor Hao Wang of
Rockefeller University for his fundamental contributions to the
founding of the field. Among these, the following may be listed:
1. He emphasized that what was at issue was the development
of a new intellectual endeavor (which he proposed to call "inferential
analysis") which would lean on mathematical logic much as numerical
analysis leans on mathematical analysis.
2. He insisted on the fundamental role of predicate calculus
and of the "cut-free" formalisms of Herbrand and Gentzen.
3. He implemented a proof-procedure which efficiently proved
all of the over 350 theorems of Russell and Whitehead's "Principia
Mathematica" which are part of the predicate calculus with equality.
4. He was the first to emphasize the importance of algorithms
which "eliminate in advance useless terms" in a Herbrand expansion.
5. He provided a well-thought out list of theorems of the
predicate calculus which could serve as challange problems for
helping to judge the effectiveness of new theorem-proving programs.
ARTICLES BY HAO WANG ON AUTOMATIC THEOREM-PROVING
1."Towards Mechanical Mathematics" IBM J. Res. Dev., vol.4(1960),
pp.2-22.
2."Proving Theorems by Pattern Recognition - I" CACM, vol.3(1960),
pp.220-234.
3."Proving Theorems by Pattern Recognition - II" Bell System Technical
Journal, vol.40(1961), pp.1-41.
4."Mechanical Mathematics and Inferential Analysis" Braffort and
Hirschberg (editors), COMPUTER PROGRAMMING AND FORMAL SYSTEMS,
North-Holland 1963, pp.1-20.
5."The Mechanization of Mechanical Arguments" Proc. Symp. Applied
Math., vol.15(1963), pp.31-40.
6."Formalization and Automatic Theorem-Proving" Proc. IFIP Congress
1965, pp.51-58.
∂25-Jul-82 1120 CLT
in case you didn't see the note on the frig --
Pippin tonight 7:30 in the city.
∂26-Jul-82 0725 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Date: 26 Jul 1982 0920-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
To: MDD at SU-AI, bledsoe at UTEXAS-20
cc: JMC at SU-AI, DCL at SU-AI, davism.acf1 at NYU, ATP.Bledsoe at UTEXAS-20
In-Reply-To: Your message of 23-Jul-82 0911-CDT
This is fine with me and I will send it as is to the ATP Prize Committee.
I would have also been happy with a revision of the paragraph in mind to
something like:
"He gave a critical analysis of the notion of "heuristic method". "
or
"He gave a critical alalysis of the notion of "heuristic method", thereby
providing valuable insight on this concept."
But I have said enough on this. If you do want to make a further
change please let me know by Friday (July 30), when I will be mailing
this and the recommendation from the committee on Current Prizes to
the ATP Prize Committee.
Thanks again, Woody
-------
∂26-Jul-82 0755 MDD via NYU
To: DCL, JMC
Shall we stand pat? -Martin
∂26-Jul-82 1020 DCL
To: MDD, JMC
∂26-Jul-82 0755 MDD via NYU
To: DCL, JMC
Shall we stand pat? -Martin
REPLY: I vote to stand pat - David
∂26-Jul-82 1028 Mark Stickel <Stickel at SRI-AI> Springer-Verlag discount book order
Date: 26 Jul 1982 1020-PDT
From: Mark Stickel <Stickel at SRI-AI>
Subject: Springer-Verlag discount book order
To: AIC-Associates: ;
I am ordering some books from Springer-Verlag at a 25% discount.
Please tell me by 5pm today if you would like to add additional books for
yourself to my order. (If you want to order separately, the minimum
order is 4 books.) A copy of the order form including the list of
books and their prices is posted outside my door.
-------
∂26-Jul-82 1457 Gene Golub <CSD.GOLUB at SU-SCORE> Possible appointment
Date: 26 Jul 1982 1449-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Possible appointment
To: faculty at SU-SCORE
cc: or.veinott at SU-SCORE
There is a possible joint appointment for C. Papadimitriou between
OR and the CS department. He will be visiting Aug 9-10. Please let
me know whether you are free on those dates. He will be giving a
lecture but the date and title are unknown. Comments?
GENE
-------
I will be in the East Aug. 9 to 20.
∂27-Jul-82 0117 Jerry E. Pournelle <POURNE at MIT-MC> what can you tell me about...
Date: 27 July 1982 04:19-EDT
From: Jerry E. Pournelle <POURNE at MIT-MC>
Subject: what can you tell me about...
To: jmc at SU-AI
Terminals. We need hard copy of a list of as many terminal
protoclas as posslbe. The idea is to get an editor working on
as many terminals as we can, and that means we need to know what
signals make whic terminals do what. I am told that somewhere
in SAIL there is a file describing terminals. It may be I was
misguided? But I'd sure appreciate a hard copy of anything that
might be around...
More on other stuff shortly; harried, Jerry
∂27-Jul-82 1026 FFL
To: JMC, FFL
Your glasses are ready.
∂27-Jul-82 1029 CLT
There is a Lecture Notes in CS volume sitting next to the beanbag.
Could you perhaps bring it when you come in? Thanks,
∂27-Jul-82 1119 Cpowers at SRI-AI "Elephant Trunk" Robot
Date: 27 Jul 1982 1119-PDT
From: Cpowers at SRI-AI
Subject: "Elephant Trunk" Robot
To: AIC-Associates:
Mr. Charles Davidson of Chalmers University of Technology, Sweden, will visit
SRI tomorrow at 3:00 and is bringing along a movie on his peculiar industrial
robot (elephant's trunk) to show us. This is a short 8mm film (he brings
along his own Super 8 projector, he says).
He will show the film and discuss the robot at 3:00 tomorrow in EK242.
Come one, come all!
-------
∂27-Jul-82 1214 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF JULY 26 - 30, 1982
Date: 27 Jul 1982 1203-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF JULY 26 - 30, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
7/28/82 460-146 Kevin Karplus
Wednesday Ph.D Oral Stanford University
2:30 p.m. ``An Extension to the Programming Language C for
VLSI Layout''
7/29/82 460-146 Erik Gilbert
Thursday Ph.D Oral Stanford University
9 A.M. ``Algorithm Partitioning Tools for a
High-Performance Multiprocessor''
-------
∂28-Jul-82 1200 CLT*
please call Fran or Irene about moutaineering books and files
∂28-Jul-82 1202 MDD via NYU
To: bledsoe at UTEXAS-20
CC: DCL at SU-AI, JMC at SU-AI, davism.acf1 at NYU
I found that I left one item out of the bibliography for the
Wang CITATION. I am sending a corrected version.
-Martin
∂28-Jul-82 1209 MDD via NYU
To: bledsoe at UTEXAS-20
CC: DCL at SU-AI, JMC at SU-AI, davism.acf1 at NYU
CITATION FOR HAO WANG AS WINNER OF "MILESTONE" AWARD IN
AUTOMATIC THEOREM-PROVING
The first "milestone" prize for research in automatic
theorem-proving is hereby awarded to Professor Hao Wang of
Rockefeller University for his fundamental contributions to the
founding of the field. Among these, the following may be listed:
1. He emphasized that what was at issue was the development
of a new intellectual endeavor (which he proposed to call "inferential
analysis") which would lean on mathematical logic much as numerical
analysis leans on mathematical analysis.
2. He insisted on the fundamental role of predicate calculus
and of the "cut-free" formalisms of Herbrand and Gentzen.
3. He implemented a proof-procedure which efficiently proved
all of the over 350 theorems of Russell and Whitehead's "Principia
Mathematica" which are part of the predicate calculus with equality.
4. He was the first to emphasize the importance of algorithms
which "eliminate in advance useless terms" in a Herbrand expansion.
5. He provided a well-thought out list of theorems of the
predicate calculus which could serve as challange problems for
helping to judge the effectiveness of new theorem-proving programs.
ARTICLES BY HAO WANG ON AUTOMATIC THEOREM-PROVING
1."Towards Mechanical Mathematics" IBM J. Res. Dev., vol.4(1960),
pp.2-22.
2."Proving Theorems by Pattern Recognition - I" CACM, vol.3(1960),
pp.220-234.
3."Proving Theorems by Pattern Recognition - II" Bell System Technical
Journal, vol.40(1961), pp.1-41.
4."Mechanical Mathematics and Inferential Analysis" Braffort and
Hirschberg (editors), COMPUTER PROGRAMMING AND FORMAL SYSTEMS,
North-Holland 1963, pp.1-20.
5."The Mechanization of Mechanical Arguments" Proc. Symp. Applied
Math., vol.15(1963), pp.31-40.
6."Formalization and Automatic Theorem-Proving" Proc. IFIP Congress
1965, pp.51-58.
7."On the Long-Range Prospects of Automatic Theorem-Proving"
Lecture Notes in Mathematics, 125, Springer 1970, pp.101-111.
∂28-Jul-82 1332 Ichiki at SRI-AI TINLUNCH for 8/5
Date: 28 Jul 1982 1331-PDT
From: Ichiki at SRI-AI
Subject: TINLUNCH for 8/5
To: TINlunchers:
From: David Warren
TINLUNCH for August 5th is:
AN INTERESTING SUBSET OF NATURAL LANGUAGE
By: Alain Colmerauer (author will not be present)
This paper describes Colmerauer's approach to formalising the
semantics of a basic subset of natural language (French). Implicit in
Colmerauer's approach, but not described in the paper (curiously), is
a logic-based grammar which translates sentences of the natural
language subset into the semantic formalism. This grammar has been
privately circulated on a handwritten sheet entitled "Coeur du
francais"; I will attach an English adaptation.
Copies of the paper will be on Barbara Grosz's file cabinet (EK270)
Thursday morning (7/29).
The talk will be at the usual time (12:00 to approx. 1:00) August 5th
in Conference Room EK242.
-------
∂28-Jul-82 1344 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Date: 28 Jul 1982 1540-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
To: MDD at SU-AI, bledsoe at UTEXAS-20
cc: DCL at SU-AI, JMC at SU-AI, davism.acf1 at NYU, ATP.Bledsoe at UTEXAS-20
In-Reply-To: Your message of 28-Jul-82 1409-CDT
Thanks again. This will be mailed tomorrow. Woody
-------
∂28-Jul-82 1454 FFL
To: JMC, FFL
When I put your New York-Pittsburgh reservations on your calendar, I noted a
conflict on August 8. You may want to look at it.
∂29-Jul-82 0810 MDD via NYU
Could you please tell me how to transfer the contents of my mail file
at SU to an ordinary file. -Thanks, Martin
rename <newfile-name> ← <old-file-name>
renames a file, and I renamed your message file. Unfortunately,
the name of a message file, for some ancient bad reason, has to be
written as ↓ mdd↓.msg where the character ↓ (which appears here
as a downward pointing arrow) is used for quoting a six character
string, the first three characters of which are blanks. I did it for
you, but to do it yourself, you'll have to figure out how to transmit
that character to SAIL.
∂29-Jul-82 1931 Joel Goldberger Where do we get Prolog
Date: 29 Jul 1982 1919-PDT
Sender: JGOLDBERGER at USC-ISIB
Subject: Where do we get Prolog
From: Joel Goldberger
Reply-To: JGoldberger at USC-ISIB
To: JMC at SU-AI
Message-ID: <[USC-ISIB]29-Jul-82 19:19:55.JGOLDBERGER>
Mark Crispin suggested I contact you regarding the language PROLOG
which he says was installed at Stanford at your request. Who should I
contact to get it ? Is there any kind of licensing involved ?
We had a user inquire about it and I had remembered seeing it on
Score, if you're wondering how I happen to ask MRC.
- Joel Goldberger -
I suggest you inquire of David Warren, one of the developers of
DEC-10 Prolog while at Edinburgh. He is WARREN@SRI-AI.
∂30-Jul-82 0000 JMC*
Ask DAVID%UTEXAS about his solar hot water heater.
∂30-Jul-82 0933 Gene Golub <CSD.GOLUB at SU-SCORE> Faculty Meeting!
Date: 30 Jul 1982 0930-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Faculty Meeting!
To: CSD.GOLUB at SU-SCORE,
CSD-Full-Professors: ;,
CSD-Full-Professors: ;
As I mentioned to you Chris Papadimitriou will be visiting Aug 9,10.
The OR department is very serious about his appointment.
Therefore I would like to call a meeting of the full professors
for Tuesday Aug 3 at 2:30 in the Conference room next to my office to
discuss this possible appointment.
I will circulate his CV; several papers and a book he co-authored will be
in my office. Let me know if you can come.
GENE
-------
∂30-Jul-82 1053 CLT pippin
this sunday is Marriage of Figaro, but they are sold out
∂30-Jul-82 1433 Irmgild Schack <CSD.IRMGILD at SU-SCORE> NSF Regional Conference
Date: 30 Jul 1982 1428-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: NSF Regional Conference
To: faculty at SU-SCORE
A flyer from NSF on organizing Regional Conferences in the
Mathematical Sciences is available in my office.
Gene
-------
∂30-Jul-82 1535 Guy.Steele at CMU-10A New Common LISP Manual
Date: 30 July 1982 1827-EDT (Friday)
From: Guy.Steele at CMU-10A
To: ddyer at usc-isib, hic at MIT-AI, moon at MIT-MC, dlw at MIT-AI,
alan at MIT-MC, brooks at MIT-AI, rms at MIT-AI, rg at MIT-AI,
rz at MIT-MC, gsb at MIT-MC, gjc at MIT-MC, jmc at SU-AI,
rpg at SU-AI, eak at s1-a, rpg at s1-a, Fateman at UCB-C70,
griss at utah-20, hedrick at rutgers, masinter at PARC-MAXC,
jonl at PARC-MAXC, vanmelle at PARC-MAXC, declisp at CMU-20C,
g.ti.csl at UTexas-20, "dlw@scrc-tenex" at MIT-AI,
"moon@scrc-tenex" at MIT-AI, "hic@scrc-tenex" at MIT-AI
Subject: New Common LISP Manual
CC: Scott.Fahlman <FAHLMAN at CMU-20C>, Bill.Scherlis at CMU-10A,
feinberg at CMU-20C, Joseph.Ginder <ginder at CMU-20C>,
David.Dill at CMU-10A, Barbara.Steele at CMU-10A,
Walter.VanRoggen at CMU-10A, David.McDonald at CMU-10A
To all the TO recipients of this message, I have mailed (US Mail, first
class) a fresh draft copy of the Common LISP Manual. (Anyone in the CC
list should see me if he wants a copy.)
This draft incorporates nearly all the changes from the November
meeting, plus a few motivated either by consistency or by discussions
on the COMMON-LISP mailing list. Examples of changes not from November:
a proposed chapter on packages, treatment of keyword symbols to make
function calls and macro calls more nearly similar, introduction of
some extra operations on floating-point numbers (such as exponent
extraction and scaling) to allow writing of portable floating-point
software.
In reading this draft, please pay particular attention to the chapters
on Scope and Extent, Type Specifiers, Macros, Declarations, Packages,
Sequences, Structures, and File System Interface.
The Errors chapter is in terrible shape and should be ignored for now.
Still missing are: EVAL and EVALHOOK, accessing of file directories,
environment inquiry functions (such as time-of-day and user-name), and
such utilities as INSPECT and DESCRIBE (the documentation of these is
to be trivial: they should exist and accomplish a given purpose, but
their manifestation is implementation-dependent: if you've got windows,
use them, and if you've got a Model 33, do your best).
I hope to make a second mailing next week with an improved ERROR
chapter and whatever else I can get done.
Please send comments in the form of brief specific criticisms with
suggestions for a specific change. I will attempt to collate these,
plus outstanding issues from the COMMON-LISP discussion, and have it
available early in the week of the conferences (by August 16), to serve
as an agenda for the meeting. To do this, I need feedback as soon as
practicable. I won't set any deadlines, as I know I've left little time
for you; but the sooner, the better. Please mail comments via ARPANET
Guy.Steele@CMUA.
The meeting will be held at CMU in Wean Hall (formerly Science Hall) in
room 4605, on Saturday, August 21, 1982, starting at 9:30. I am going
to try to arrange to have lunch provided somehow by CMU so that we can
take a minimal lunch break.
--Guy
∂02-Aug-82 1225 Grosz at SRI-AI talk by Hans Kamp
Date: 2 Aug 1982 1226-PDT
From: Grosz at SRI-AI
Subject: talk by Hans Kamp
To: AIC-Associates:
Hans Kamp will give a talk on his work on discourse representations
at 10:30 Wednesday (August 4) morning in EK242.
-------
∂02-Aug-82 1253 Guy.Steele at CMU-10A New Common LISP Manual
Date: 2 August 1982 1542-EDT (Monday)
From: Guy.Steele at CMU-10A
To: ddyer at usc-isib, hic at MIT-AI, moon at MIT-MC, dlw at MIT-AI,
alan at MIT-MC, brooks at MIT-AI, rms at MIT-AI, rg at MIT-AI,
rz at MIT-MC, gsb at MIT-MC, gjc at MIT-MC, jmc at SU-AI,
rpg at SU-AI, eak at s1-a, rpg at s1-a, Fateman at UCB-C70,
griss at utah-20, hedrick at rutgers, masinter at PARC-MAXC,
jonl at PARC-MAXC, vanmelle at PARC-MAXC, declisp at CMU-20C,
g.ti.csl at UTexas-20, "dlw@scrc-tenex" at MIT-AI,
"moon@scrc-tenex" at MIT-AI, "hic@scrc-tenex" at MIT-AI
Subject: New Common LISP Manual
CC: Scott.Fahlman <FAHLMAN at CMU-20C>, Bill.Scherlis at CMU-10A,
feinberg at CMU-20C, Joseph.Ginder <ginder at CMU-20C>,
David.Dill at CMU-10A, Barbara.Steele at CMU-10A,
Walter.VanRoggen at CMU-10A, David.McDonald at CMU-10A
Some afterthoughts:
(1) When you receive your copy of the revised Common LISP Manual,
it would give me peace of mind (and also help me meter the US Postal
Service) if you would mail me a note saying you got it.
(2) When mailing me suggestions for the Common LISP Manual, please
include a section number or page number with each comment,
to help me sort and correlate them.
--Thanks,
Guy
∂02-Aug-82 1812 Gene Golub <CSD.GOLUB at SU-SCORE> Meeting on Tuesday
Date: 2 Aug 1982 1803-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Meeting on Tuesday
To: CSD-Full-Professors: ;
Just a reminder that we'll be meeting on Tuesday at 2:30
to discuss the Papadimitriou case. GENE
-------
∂02-Aug-82 2013 MDD via NYU my mail file
Thank you, but I'm none the wiser. A new file containing
5 mysterious lines and named MAIL has
appeared in my directory. What I wanted to do was to FTP
the contents of my old message file to NYU. I know how
to do this if I could first place the information in an
ordinary file. I'm mailing you separately the new file named
mail. Any clarification would be appreciated. -Martin
∂02-Aug-82 2021 MDD via NYU as promised
COMMENT ⊗ VALID 00001 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 ENDMK
C⊗;
!∂16-Jul-82 1002 DCL Citation
To: MDD
CC: JMC
Martin,
Seems OK to me. I'm not sure how "efficient" Wangs proof procedure was on
Principia. He showed it was do able.
What was the relative performance of his stuff versus Gilmore's at that
time?
I do not know how much credit he should get for "heuristics".
The Gerlernter/Minksy stuff was around at the time of his papers.
I remember that Wang was pretty negative about theorem proving as a result
of the performances of his programs - he gave a seminar at MIT one time
which (my memory isnt too good) sort of associated Herbrand methods with
republican politics (good guys) and heuristic methods with very left wing
guys (this was just the time when McCarthyism - Joe! was fresh in poeples
minds).
- David
!∂16-Jul-82 1315 JMC
To: MDD, DCL
I have one last caveat concerning award to Wang. Does he want it?
If he regards his work in theorem proving as unimportant, having
him give a lecture on it may be an embarassment both to him and
to the audience. Martin, do you know is attitude? If not, would
you sound him out before we go public.
!∂16-Jul-82 1511 DCL
To: MDD
CC: JMC
∂16-Jul-82 1315 JMC
To: MDD, DCL
I have one last caveat concerning award to Wang. Does he want it?
If he regards his work in theorem proving as unimportant, having
him give a lecture on it may be an embarassment both to him and
to the audience. Martin, do you know is attitude? If not, would
you sound him out before we go public.
REPLY:
I second this - didnt think of it! - David
!∂20-Jul-82 1508 JMC
To: MDD
CC: DCL
The present form of the Wang citation is fine with me.
!∂20-Jul-82 1526 DCL
∂20-Jul-82 1449 MDD via NYU
To: JMC, DCL
Any final comments on the Wang "Citation" ? -Martin
REPLY: No I think its fine - David
!∂20-Jul-82 2016 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Date: 20 Jul 1982 2210-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
To: MDD at SU-AI, Bledsoe at UTEXAS-20
cc: JMC at SU-AI, DCL at SU-AI, ATP.Bledsoe at UTEXAS-20
In-Reply-To: Your message of 20-Jul-82 1848-CDT
Dear Martin, John, and David:
Thank you for your nomination and the draft citation. I am
personally pleased with the nomination and will urge its acceptance by
the full ATP Prize Committee. I see no difficulty with that.
I am also pleased with the citation (except for a small point) and
think it will serve us well this time, and could become a guide
for future citations.
Now to the small point. The use of the words "heuristic" and
"elevate" are fine for making a good point for Wang; however, at
the same time (In my judgement) they take a swipe at Newall and
Simon. I'm sure that was not your intention. It seems to me that
Wang's arguments about "pattern recognition" as a guide to proof
discovery is a vote for heuristic meathods. But whether he felt
that way or not, many of us do feel that heuristics will play a
crucial role in ATP. Can't we reword that part of the Citation?
I'd much appreciate it if you would try.
Thanks for your help, all of you.
Best regards,
Woody
-------
!∂20-Jul-82 2025 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> Thanks
Date: 20 Jul 1982 2221-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Subject: Thanks
To: mdd at SU-AI
cc: ATP.Bledsoe at UTEXAS-20
Martin, I want to thank you again for agreeing to chair the
committee for the milestone prize. It shows a lot of class for
you to do this, especially since you are yourself a candidate, and
are so busy. We needed your expertise and your stature for this
job. Thanks!!!
Best regards, Woody
-------
!∂21-Jul-82 0041 JMC
To: MDD, DCL
Let's accomodate Woody.
!∂21-Jul-82 1030 DCL Citation
To: MDD, JMC
I too felt that the mention of heuristics was a bit misleading, but I didnt
know what to say.
- David
!∂21-Jul-82 1124 DCL
∂21-Jul-82 1043 MDD via NYU your memo of this AM
To: DCL
CC: JMC
Do you therefore agree to deleting section 5 of the Wang "Citation"?
-Martin
REPLY: Yes I agree. - David
!∂21-Jul-82 1257 JMC
I also agree.
!∂26-Jul-82 0725 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Date: 26 Jul 1982 0920-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
To: MDD at SU-AI, bledsoe at UTEXAS-20
cc: JMC at SU-AI, DCL at SU-AI, davism.acf1 at NYU, ATP.Bledsoe at UTEXAS-20
In-Reply-To: Your message of 23-Jul-82 0911-CDT
This is fine with me and I will send it as is to the ATP Prize Committee.
I would have also been happy with a revision of the paragraph in mind to
something like:
"He gave a critical analysis of the notion of "heuristic method". "
or
"He gave a critical alalysis of the notion of "heuristic method", thereby
providing valuable insight on this concept."
But I have said enough on this. If you do want to make a further
change please let me know by Friday (July 30), when I will be mailing
this and the recommendation from the committee on Current Prizes to
the ATP Prize Committee.
Thanks again, Woody
-------
!∂26-Jul-82 1020 DCL
To: MDD, JMC
∂26-Jul-82 0755 MDD via NYU
To: DCL, JMC
Shall we stand pat? -Martin
REPLY: I vote to stand pat - David
!∂26-Jul-82 1500 JMC
To: MDD
CC: DCL
I go along with standing pat.
!∂28-Jul-82 1344 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Date: 28 Jul 1982 1540-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
To: MDD at SU-AI, bledsoe at UTEXAS-20
cc: DCL at SU-AI, JMC at SU-AI, davism.acf1 at NYU, ATP.Bledsoe at UTEXAS-20
In-Reply-To: Your message of 28-Jul-82 1409-CDT
Thanks again. This will be mailed tomorrow. Woody
-------
!∂29-Jul-82 0615 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Date: 29 Jul 1982 0814-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
To: MDD at SU-AI
cc: ATP.Bledsoe at UTEXAS-20
In-Reply-To: Your message of 28-Jul-82 1402-CDT
Yes, I got it. Thanks Woody
-------
∂02-Aug-82 2151 Lowell Wood <LLW at S1-A> Scheduling Problems
Date: 02 Aug 1982 2150-PDT
From: Lowell Wood <LLW at S1-A>
Subject: Scheduling Problems
To: jmc at SU-AI
CC: LLW at S1-A
∂02-Aug-82 2001 John McCarthy <JMC at SU-AI>
Date: 02 Aug 1982 1359-PDT
From: John McCarthy <JMC at SU-AI>
To: llw at S1-A
I'll come tomorrow if you'll be there, otherwise prefer Fri then Thurs.
[Dear John: Tomorrow I'm here but tied up most of the day in meetings
I can't evade, Wednesday I'm in LA, Thursday I'm flying to Washington,
where I'll be all day Friday. I'm sorry that this is such a bad week--
could I ask for a postponement 'til next week? Lowell]
Saturday is possible; otherwise late August.
∂03-Aug-82 0911 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF AUGUST 2 - 6, 1982
Date: 3 Aug 1982 0857-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF AUGUST 2 - 6, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
*8/2/82 ERL401 Kyu-Young Whang
Monday Ph.D Oral Stanford University
2 p.m. ``A Physical Database Design Methodology Using
the Property of Separability''
8/4/82 MJ252 Professor Eli Shamir
Wednesday AFLB Hebrew University of Jerusalem, Israel
1 p.m. ``How to get an almost sure performance of
Combinational Algorithms''
8/10/82 MJ252 Ignacio Andres Zabala-Salelles
Tuesday Ph.D Oral Stanford University
3 p.m. ``Interacting With Graphic Objects''
*This talks replaces the Database Research Seminar which is usually on Fridays.
-------
∂03-Aug-82 0933 Gene Golub <CSD.GOLUB at SU-SCORE> First Year
Date: 3 Aug 1982 0930-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: First Year
To: faculty at SU-SCORE, ADMIN at SU-SCORE
cc: su-bboards at SU-SCORE
This ends my first year as chairman. I've really enjoyed getting to
know the various members of the Department. I appreciate all the
helpfulness and co-operateness of the staff and our students.
Thanks for helping me through a rather trying year.
GENE
-------
∂03-Aug-82 1101 FFL
To: JMC, FFL
Dr. John Matts, a sabbatical person here from Canada, wishes to talk with you
for about 10 minutes. I suggested 11.30 tomorrow, Wednesday. Is that
satisfactory. I am to call him back to verify the appointment. 843-3246.
∂03-Aug-82 1332 FFL
To: JMC, FFL
Call from Victor Danilov, president of the Museum of Science and Technology in
Chicgo. In conjunction with a larger conference the museum is celebrating its
50th anniversary on April 5, 1983, He asks if you would be interested in parti-
cipating in a panel on that occasion with John Bardeen of U. of Illinois and
Gene Amdahl of the past and future of information systems. Would have expenses and
honorarium. Would like to talk to you about it 312 684 1414.
∂03-Aug-82 1656 oliger@Navajo at Sumex-Aim Re: First Year
Mail-from: ARPANET site SUMEX-AIM rcvd at 3-Aug-82 1647-PDT
Mail-from: SU-NET host SU-NAVAJO rcvd at 3-Aug-82 1130-PDT
Date: 3 August 1982 11:28:22-PDT (Tuesday)
From: oliger@Navajo at Sumex-Aim
Subject: Re: First Year
To: ADMIN at SU-Score, CSD.GOLUB at SU-Score, faculty at SU-Score
----- Mail saved at Tue Aug 3 11:24:05 1982
Date: 3 August 1982 11:23:31-PDT (Tuesday)
From: oliger
Subject: Re: First Year
To: CSD.GOLUB at SU-Score
Thank you for your work as Chairman! I think that you have done a great
job.
Joe
∂03-Aug-82 1752 Paul Armer <CSD.ARMER at SU-SCORE> New Students
Date: 3 Aug 1982 1734-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: New Students
To: CSD-Faculty: ;
Stanford-Phone: (415) 497-2274
We have the following numbers of new students coming for the Autumn Quarter:
PhD 21
CSAI 8
CSMS 42
CSCE 40
Paul
-------
∂04-Aug-82 0934 JK
There is a new EKL with a new parser, rewriting language,
meta theory, extended define and declare facilities and attachments.
This is all documented in EKL.MAN[EKL,JK].
A new set of lisp axioms can be found in lispax.cmd[ekl,jk].
Once Joe has his new new parser up we can even start using . instead of ~.
The next thing to do is to make the unifier more responsive to
dynamically generated sort information and higher types. What is also
missing is a good set of re-writing heuristics.
∂04-Aug-82 0926 JK
To: JJW, JMC
There is a new EKL with a new parser, rewriting language,
meta theory, extended define and declare facilities and attachments.
This is all documented in EKL.MAN[EKL,JK].
A new set of lisp axioms can be found in lispax.cmd[ekl,jk].
Once Joe has his new new parser up we can even start using . instead of ~.
The next thing to do is to make the unifier more responsive to
dynamically generated sort information and higher types. What is also
missing is a good set of re-writing heuristics.
∂04-Aug-82 1139 FFL mail jmc,ffl
To: JMC, FFL
Fred Crawford called. He will be around this month and would like to get
together for lunch. 7-1233.
∂04-Aug-82 1213 CLT sarah
called. Says Thomson-McK will send you a form you have to
sign before they can sell the stock.
∂04-Aug-82 1414 MDD via NYU
OK. I moved the file to NYU and read it there fine.
When I tried to read it at SU using the local SOS editor
(which I had done with other files) I only saw the first
5 lines. Another mystery. THanks again. -Martin
∂04-Aug-82 1801 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Christos Papadimitriou's Visit
Date: 4 Aug 1982 1049-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Christos Papadimitriou's Visit
To: faculty at SU-SCORE
cc: csd.dietterich at SU-SCORE
Christos Papadimitriou will be visiting Stanford on Monday and Tuesday
(August 9 and 10), and he'll speak on Monday, 1:30 in MJH 146 (Boys Town
Conference Room) on "Polytopes and Complexity."
Please let Irmgild know if you'd like to see Papadimitriou. He'll spend
Tuesday at the Computer Science department, but if you are unavailable
on Tuesday, it is possible to see him Monday.
Please let me now whether you can join for lunch or dinner.
Gene
-------
∂05-Aug-82 0238 Lowell Wood <LLW at S1-A> Arrangements
Date: 05 Aug 1982 0235-PDT
From: Lowell Wood <LLW at S1-A>
Subject: Arrangements
To: jmc at SU-AI
CC: LLW at S1-A
∂02-Aug-82 2317 John McCarthy <JMC at SU-AI>
Date: 02 Aug 1982 2317-PDT
From: John McCarthy <JMC at SU-AI>
To: llw at S1-A
Saturday is possible; otherwise late August.
[John: It presently looks like I'll be stuck on the East Coast for at
least part of the weekend--I agreed to help a friend some weekend
back there, and the time has now come, it appears. I'm afraid that
I'll have to ask for a postponement to late August. Sorry! Lowell]
∂05-Aug-82 0824 MDD via NYU
Right you are. Thanks. -Martin
∂05-Aug-82 0923 JK new ekl
I am going away (back aug 17); Joe will be writing the revised ekl
manual based on the new EKL.MAN[EKL,JK]. He has also come up with
a better parser for the system. When I am back, I will do a few
proofs based on the new LISPAX.
∂05-Aug-82 0940 Ichiki at SRI-AI TINLUNCH Today
Date: 5 Aug 1982 0940-PDT
From: Ichiki at SRI-AI
Subject: TINLUNCH Today
To: TINlunchers:
From: David Warren
TINLUNCH for August 5th is:
AN INTERESTING SUBSET OF NATURAL LANGUAGE
By: Alain Colmerauer (author will not be present)
This paper describes Colmerauer's approach to formalising the semantics
of a basic subset of natural language (French). Implicit in Colmerauer's
approach, but not described in the paper (curiously), is a logic-based
grammar which translates sentences of the natural language subset into
the semantic formalism. This grammar has been privately circulated on
a handwritten sheet entitled "Coeur du francais"; I will attach an
English adaptation.
Copies of the paper are on Barbara Grosz's file cabinet (EK270).
The talk will be at the usual time (12:00 to approx. 1:00) August 5th
in Conference Room EK242.
-------
∂05-Aug-82 1028 Nancy Dorio <CSD.DORIO at SU-SCORE> ADDENDUM TO COLLOQUIUM NOTICE WEEK OF AUGUST 2 - 6, 1982
Date: 5 Aug 1982 1015-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: ADDENDUM TO COLLOQUIUM NOTICE WEEK OF AUGUST 2 - 6, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Database Research Seminar - Friday, August 6, 1982, at 3:15 p.m. in MJ301.
David Warren, from SRI International, will speak on "Prolog and Databases."
-------
∂05-Aug-82 1121 FFL
To: JMC, FFL
Chris White, a grad student in petroleum engineering, wants to speak to you
about matrix methods. Do you have a time when you prefer that he come in.
I am to call him back. 7-05l6.
k
mail jmc,ffl
∂05-Aug-82 1131 FFL
To: JMC, FFL
Do you want to talk with Prof. Papadimitrious on Tuesday, Aug. 10, in the
afternoon? I am supposed to let Prof. Golub's secretary know who is keeping
his schedule.
I will be at IBM in Yorktown next Thursday, assuming the tickets come tomorrow.
∂05-Aug-82 1302 Aaai-Office at SUMEX-AIM AAAI Executive Committee Meeting
Date: 5 Aug 1982 1258-PDT
From: Aaai-Office at SUMEX-AIM
Subject: AAAI Executive Committee Meeting
To: AAAI-Distrib:
The AAAI Executive Committee Meeting, scheduled for Wednesday,
August 18th at 7:30 p.m., will be held in the
Wherett Room at CMU
This room is located next to Skibo Ballroom, site of the main
conference reception on the 18th from 5:30 to 7 p.m.
Lou
-------
∂05-Aug-82 1443 Jrobinson at SRI-AI Hans Kamp
Date: 5 Aug 1982 1353-PDT
From: Jrobinson at SRI-AI
Subject: Hans Kamp
To: bmoore, stan, shieber, hans, utexas-peters, grosz, warren,
To: hobbs
cc: jrobinson, mccarthy at SU-AI
There'll be an informal gathering of people interested in talking with
Hans Kamp about such things as time, tense, aspect, and adverbs, tomorrow
around 10am EK242.
Jane
-------
∂05-Aug-82 2302 ROODE at SRI-NIC (David Roode) still not on the list
Date: 5 Aug 1982 2257-PDT
From: ROODE at SRI-NIC (David Roode)
Subject: still not on the list
To: TOPS-20 at SU-SCORE
cc: JMC at SU-AI, REG at SU-AI
Location: EJ296 Phone: (415) 859-2774
Despite repeated polite requests, Mark Crispin refuses to
place my name on the TOPS-20 list. Before writing my congressman,
I thought I would let the rest of you know. He removed
my name apparently because I dared to voice an a opinion
somewhat in opposition to his own, an act which fits his
definition of "flaming." I do not enjoy taking your time
with this, but it is uncalled-for behavior on his part which
causes me inconvenience, which I cannot tolerate silently.
His sham excuse that I am not involved with TOPS-20 is absurd;
there are other TENEX systems programmers on this list, and it is
very likely that I will be back primarily with TOPS-20 again
soon.
Once again, I am sorry to have to bother so many people with
one person's pettiness, and all I ask is fair and impartial
treatment.
-------
∂05-Aug-82 2323 ROODE at SRI-NIC (David Roode)
Date: 5 Aug 1982 2321-PDT
From: ROODE at SRI-NIC (David Roode)
To: JMC at SU-AI
Location: EJ296 Phone: (415) 859-2774
In-Reply-To: Your message of 5-Aug-82 2306-PDT
The TOPS-20 distribution list that Crispin glommed onto as part of
his power trip. Recently he has decided that he will glom onto
another list so he can keep track of every host on the ARPAnet.
I cc'd you because I didn't know the name of the Chairman of
the CS department right now... and Ralph often doesn't answer mail
and he didn't answer mine about this before. Crispin picks
on vulnerabilities in the system to decide what he will attack
next--i.e. I think it was in the back of his mind that if I complained
Ralph would not want to bother responding unless I escalated the complaint
beyond what he expected.
The original complaint happened when a guy who now works
for Tymshare from whom we at this site bought our Foonly
and Tenex and Augment (NLS) support, accidentally sent a very
unfortunate message to TOPS-20 when he meant to send another file
asking about SA-10's in use on KL's. The question was in conjunction
with his work supporting one of the Office machines on government
contract. Crispin took the opportunity to publically (on the list
anyway) allude to the guy as being a total loser. I said I didn't
think that was appropriate, and sent it to the list hoping to undo
some of the damage Crispin did. So Crispin decides I am persona non
grata. This all happened right after I moved from a group doing TOPS-20
support to a group doing Tenex support. The truth is, there are negotiations
going on to permit us to use TOPS-20 too, but I can't tell
Crispin because he will blab it all over, and legally, as an SRI employee,
I am covered under the existing full TOPS-20 license on other systems
operated by SRI, so it is none of Crispin's business anyway.
-------
∂05-Aug-82 2349 ROODE at SRI-NIC (David Roode) Re: lists
Date: 5 Aug 1982 2345-PDT
From: ROODE at SRI-NIC (David Roode)
Subject: Re: lists
To: JMC at SU-AI
Location: EJ296 Phone: (415) 859-2774
In-Reply-To: Your message of 5-Aug-82 2337-PDT
THe group is people interested in TOPS-20. It is a service
he does in SCORE's name for TOPS-20 sites on the arpanet.
It is not a formal group, but it is not his private list either.
The list used to be in <TOPS-20-ARCHIVE>TOPS-20.DIS on SCORE,
but I looked now to make sure of the directory name,
and the only publically visible file in that directory is
the one for the new list he is taking over (it was on MIT-AI
as an informal list and he says MIT-AI is dying).
The list is in <ROODE>TOPS-20.DIS on SRI-NIC where you can login
as ANONYMOUS with password anything if you want to see it.
There are about 60 people on the list, from assorted installations
all over.
-------
I'll talk to Ralph about it or possibly to Mark, but don't hold your
breath, because I'll be away for two weeks.
∂06-Aug-82 0011 ROODE at SRI-NIC (David Roode)
Date: 6 Aug 1982 0006-PDT
From: ROODE at SRI-NIC (David Roode)
To: JMC at SU-AI
Location: EJ296 Phone: (415) 859-2774
In-Reply-To: Your message of 5-Aug-82 2352-PDT
OK thanks. I don't know what is likely to happen in the meantime but
I think he is censoring my message from distribution to the list
itself; however I may send it directly. I don't think the others
endorse his discriminatory practices.
-------
∂06-Aug-82 1136 FFL
To: JMC, FFL
Ann Mayo of Grad. Program office called about folder for and results of
oral exam of Anthony Ungar. She would appreciate it if you could send results
and folder to her before you leave.
∂06-Aug-82 1154 Farley at SRI-AI will talk, Wed a.m., 10:30, EK242
Date: 6 Aug 1982 1154-PDT
From: Farley at SRI-AI
Subject: will talk, Wed a.m., 10:30, EK242
To: AIC-Associates:
Before leaving, I want to share with everyone what I have been
up to this summer, for your information and critical comment.
Time and Plans
Art Farley
Wednesday, 11 Aug
10:30, EK242
A representation is proposed for the temporal aspects of plans,
consisting of INSTANTs, EVENTs, PROCESSes, and STATEs.
A semantics is defined for typical temporal predicates (e.g.,
AFTER, DURING, AT), in terms of constraints placed on INSTANTs.
Satisfiability is determined by processes of constraint propogation
and checking. The basic constraint placement and propogation
machinery has been implemented. I discuss plan recognition as
an initial application.
-------
∂06-Aug-82 1205 FWH talk by A. Meyer at SRI
To: "@TALKS.DIS[1,FWH]" at SU-AI
CC: waldinger at SRI-AI
Date: 5 Aug 1982 1707-PDT
From: Waldinger
Subject: talk by a. meyer, tues, 10:45, el381
To: AIC-Associates:, CSL:
cc: meyer at MIT-ML
that's august 10th in the csl "map" room. note odd time.
anyone wishing to join us for lunch let me know by 2 tomorrow (friday).
title and abstract follow:
Reasoning About Shared Variables
by
Albert R. Meyer
Massachusetts Institute of Technology
ABSTRACT. A three-sorted first order assertion language including the sort
location allows straightforward formulation of axioms about programs with
shared variables. The axioms avoid the complication of "sharing classes" of
variables used in previous approaches. Then by giving a general formulation of
what it means for a global procedure to "depend on" a location, we need no
longer restrict partial correctness axioms to closed programs, and can begin to
give a denotational semantics to "non-interfering" programs.
-------
people from outside of sri who want to come to the talk please
come to the lobby of building E (on ravenswood avenue, opposite
pine street, in menlo park) and someone will show you where the
room is.
-------
∂06-Aug-82 1420 Grosz at SRI-AI partial schedule of dry runs for next week
Date: 6 Aug 1982 1420-PDT
From: Grosz at SRI-AI
Subject: partial schedule of dry runs for next week
To: AIC-Associates:
The following dry runs have been scheduled:
Wednesday, Aug 11,
10:30 EK242 - Bob Moore, "The Role of Logic in Knowledge Representation
and Commonsense Reasoning"
1:30 EJ222 - Doug Appelt, "Planning Natural-Language Utterances"
Thursday, Aug 12
10:30 EK242 - Kurt Konolige, "Circumscriptive Ignorance"
[1:30 EK242 -- Art Farley's talk]
Friday, Aug 13
10:30 EK242 - Mark Stickel, "A Non-Clausal Connection Graph Resolution
Theorem Proving Program"
1:30 EK242 - Mabry Tyson, "Proof Methods in an Agenda-Based, Natural
Deduction Theorem Prover"
-------
∂08-Aug-82 0011 JMC*
353 1 804838 Tiki
∂08-Aug-82 0142 MINSKY at MIT-OZ at MIT-AI logic
Date: 8 Aug 1982 0223-EDT
From: MINSKY at MIT-OZ at MIT-AI
Subject: logic
To: jmc at SU-AI, minsky at MIT-OZ at MIT-AI
I am writing one now. One objection was in my 1974 Frame
paper (only the MIT AILAB version, though) that non-monotonic
logic could not deal with exceptions.
Deeper objection is that logic can't easily deal with knowledge about knowledge
-- e.g., under what heuristic circumstances one should use
certain propositions.
My new paper, called LEARNING MESNIN
-------
∂08-Aug-82 0142 MINSKY at MIT-OZ at MIT-AI more of message
Date: 8 Aug 1982 0232-EDT
From: MINSKY at MIT-OZ at MIT-AI
Subject: more of message
To: jmc at SU-AI, minsky at MIT-OZ at MIT-AI
I'm not used to disgusting TWENEX, which sent message right from under my
hands.
The new paper is, I'm afraid, somewhat Wittgensteinian, and
complains that Propositions themselves are no good - except
perhaps for logic and mathematics.
Finally, the paper I'm writing now says that propositins aren't
much good because they always have too many exceptions.
Anyway, there also are good uses for logic. Although I don't
believe that it is much good for "doing" reasoning,
it is very good for summarizing the final conclusions, in some
cases, and for communicating them to other people who
know how to deal with such arguments. But then they
have to be translated back into contexts and dispositions, etc.
Anyway, I hope you like most of LEARNING MEANING. I spent
entire year on it, but it is still in draft form.
I also have a funny new/old idea. Most people think one should
represent things in terms of prototypes/schemas/frames, etc.
But in complicated cases, the things should actually be
special cases - boundary examples, like the vertices of
polyhedral seperating surfaces. In this view, the point of
Winston's "near-miss" idea is really different, not to find the
most typical member, but to outline the boundaries of the
domain of a term's meaning. Curiously, the perceptron
vogue had this idea in its mathematics. I think it makes a
difference in thinking about learning.
-------
∂08-Aug-82 1253 CLT Sara
wants to know if you got papers from ThomsonMk (and signed them).
Seems to need the stock to buy her ticket.
Call her!!!
(I presume I can just give DinaBolla the AMEX # or advance Sara the money if not.)
∂09-Aug-82 0926 BUCHANAN at SUMEX-AIM meeting with Dr. Cooper from ARPA
Date: 9 Aug 1982 0925-PDT
From: BUCHANAN at SUMEX-AIM
Subject: meeting with Dr. Cooper from ARPA
To: jmc at SU-AI
The meeting is scheduled for Friday, Aug.27. We will need to get together
to discuss what we want to tell him.
bgb
-------
∂09-Aug-82 1302 Nilsson at SRI-AI AAAI ExCom Meeting Announcement
Date: 9 Aug 1982 1257-PDT
From: Nilsson at SRI-AI
Subject: AAAI ExCom Meeting Announcement
To: Minsky at MIT-AI, Feigenbaum at SUMEX-AIM, Nilsson at SRI-AI,
To: Reddy at CMU-10A, GJS at MIT-AI, PHW at MIT-AI,
To: Webber at BBNA, DWaltz at BBNA, Tenenbaum at SRI-KL,
To: Walker at SRI-AI, Bobrow at PARC-MAXC, Buchanan at SUMEX-AIM,
To: Engelmore at SUMEX-AIM, AAAI-OFFICE at SUMEX-AIM,
To: Bledsoe at UTEXAS, Grosz at SRI-AI, McCarthy at SU-AI,
To: Woods at BBNA, Simon at CMU-10A, Fahlman at CMU-10A,
To: Lerman at SRI-KL, Rich at MIT-AI, Mcdermott at YALE,
To: Hart at SRI-KL, Amarel at RUTGERS, Genesereth at SUMEX-AIM,
To: Feldman at SUMEX-AIM, Newell at CMU-10A
Marvin Minsky asked me to circulate the following invitation:
You are invited to attend the AAAI Executive Committee Meeting to be
held at 7:30 pm, Wednesday, August 18 in the Wherett Room at CMU
(next to the Skibo Ballroom where the AAAI reception takes place from
5:30-7:00 that afternoon).
PROPOSED AGENDA
(Some modifications to the agenda may be made between now and the
meeting.)
0. Meeting Call to Order (Marvin Minsky)
1. Report from AAAI-OFFICE (Lou Robinson)
2. Report on AAAI finances (Don Walker/Lou Robinson)
3. Report from Elections Committee (Ed Feigenbaum)
Election Results
4. Short Reports from Committee Chairmen:
a. Membership (Bruce Buchanan)
b. Publications (Lee Erman)
c. Conference (Jay M. Tenenbaum)
d. Tutorial (Chuck Rich)
e. Program (David Waltz)
f. Local Arrangements (Scott Fahlman)
5. Review of Discussion about Regional Chapters (Ed Feigenbaum)
6. AAAI Co-Sponsorship of other conferences
7. AAAI plans for 1983 (Nils Nilsson)
8. Other business (if any)
9. Installation of 1982-83 President and Executive Committee members
10. Reminder: AAAI (open) Business Meeting is Thursday, August 19,
12 noon in Forbes Quadrangle Classroom.
See you there. --Nils Nilsson
-------
∂09-Aug-82 2125 Archbold at SRI-AI August 12 TINLUNCH
Date: 9 Aug 1982 2125-PDT
From: Archbold at SRI-AI
Subject: August 12 TINLUNCH
To: TINlunchers:
The topic of the Tinlunch on Thursday, August 12, will be the notion of
relevance in discourse and Gricean implicatures. Two short articles
will be distributed tomorrow afternoon (on Barbara's file cabinet):
1. Marcelo Dascal, "Conversational Relevance", Journal of
Pragmatics, Vol. 1, 1977.
2. Bas C. Van Fraassen, "The Pragmatics of Explanation",
American Philosophical Quarterly, Vol. 14, No. 2, April 1977.
along with some covering notes reminding readers of various types of
relevance, posing some questions for discussion (essentially: is
relevance a constraining enough notion to aid in analyzing discourse and
in detecting implicatures?), and providing a short bibliography.
What is hoped for is just a freeform, recreational airing of people's
views on what relevance in discourse means and is good for.
-------
∂10-Aug-82 1002 Waldinger at SRI-AI meyer talks today, 10:45, el381
Date: 10 Aug 1982 1002-PDT
From: Waldinger at SRI-AI
Subject: meyer talks today, 10:45, el381
To: CSL:, AIC-Associates:
on reasoning about shared variables
thats the csl map room
-------
∂10-Aug-82 1431 ullman@Diablo (SuNet) ONR equipment grants
Mail-from: SU-NET host Diablo rcvd at 10 Aug 1982 14:28:25-PDT
Date: 10 August 1982 14:28:30-PDT (Tuesday)
From: ullman at Diablo at Shasta
Subject: ONR equipment grants
To: equip at shasta
The DOD research agencies have a program to make equipment grants;
ONR is the administating agency. My understanding is that the equipment
can be used to support research that may not itself be funded by ONR,
AFOSR, or ARO. It occurs to me that we might be able to get some of this
money if we put together a description of some of our ongoing research,
and coupled it to some specific items that we cannot obtain elsewhere.
For example, we might ask for a large collection of SUN terminals,
and/or funding for the McSUN project. It might also be natural to ask
for an S-1.
The deadline (I think) is Nov. 1, but now is the time to consider
what we might ask for, and of course, to collect a group of volunteers
ready to write pieces of the proposal. The most likely candidates
are those with DOD supported projects, and I volunteer to write about
my AFOSR-supported database work, if there are 3-4 others willing to
pitch in.
∂14-Aug-82 1657 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> WAIL
Date: 14 Aug 1982 1807-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Subject: WAIL
To: minsky at MIT-AI, mccarthy at SU-AI, newell at CMU-10A, simon at CMU-10A
cc: ATP.Bledsoe at UTEXAS-20
WOODLANDS AI LABORATORY
WAIL
3 August 1982
Mike Ballantyne and Woody Bledsoe are conducting a study on the
feasibility of establishing an AI Laboratory at the Woodlands.
The Woodlands is a new city located about 40 miles northwest of
Houston on Interstate 45, which has been under planning for twelve
Years, is now partially built, and promises to be one of the loveliest
communities in the world. It is being built on a plan that provides
for the environmental, social, and employment needs of its citizens:
extensive wooded parks which permeate all of the housing areas, golf
courses (the Houston Open is played yearly on one of the Woodlands' golf
courses), tennis courts, swimming polls, ice skating, etc,
housing areas (in all price ranges), schools, churches, community
centers, businesses, high technology industry (including energy and
medical), research and development laboratories, etc. It is designed
to provide all levels of housing needs and jobs for every adult who
lives there. We feel that this will be one of the choicest places
to live and work.
The Woodlands AI Laboratory (WAIL) will be part of HARC (Houston
Area Research Center - See attached brochure) which is associated with
the University of Houston, Rice University, and Texas A&M, and which
is attempting to bring research and development laboratories to The
Woodlands. The Woodlands Corporation, which is principally owned by
The Mitchell Energy Corporation, has donated a 150 acre site to HARC
and provided several million dollars in start-up funding for the next
few years. It is envisioned that other Energy and Medical
related industries in the Houston are would sustain the funding for
the long run. (A 150 acre site has also been donated to the Texas
Medical Center).
The Woodlands AI Laboratory would initially concentrate on applied
AI, such as expert systems, industrial robotry, etc, which will be
useful to businesses and industries in the Woodlands and Houston areas,
especially those related to energy, medical, and computing research,
development and applications, and later expand to others such as
Natural Language interfaces, program verification, Vision, problem
solving and search, knowledge represention and acquisition, theorem
proving, program synthesis and understanding, etc.
Initial housing and funding for WAIL will come from those
provided to HARC. We feel that the existing and projected
funding is very secure, and that WAIL will be able to survive the
incubation stage and become a strong, well known, laboratory.
As part of our feasibility study we will talk with a number of
individuals throughout the country and abroad. These include prominent
AI researchers from Universities, research laboratories, and industrial
AI groups, and others in research and development laboratories
throughout industry:
Stanford, MIT, CMU, U. Md, U. Texas, Rutgers, Rochester,U.Penn.,etc
SRI, ISI, SUMEX, BBN, etc
Schlumberger, TI, Fairchild, Hewlett-Packard, Machine Intelligence
Corporation, etc
Texas Medical Center, MD Anderson Hospital, etc
We are seeking advise on the following points:
. Possible Projects for WAIL
Applications oriented
Long range research projects
. Existing AI Projects (in other Laboratories)
. Prospects for heading and staffing WAIL
. General Advice
-------
∂14-Aug-82 1658 Chandra-at-OhioState <Chandrasekaran at RUTGERS> Use of your letter.
Date: 14 Aug 1982 1644-EDT
From: Chandra-at-OhioState <Chandrasekaran at RUTGERS>
Subject: Use of your letter.
To: JMC at SU-AI
cc: Chandrasekaran at RUTGERS
You might remember that you wrote a letter to Prof. Teller
regarding a draft proposal of mine on the application of
AI to nuclear safety problem. You had indicated in the letter
that you did not desire anonymity. In a proposal I am
writing on that topic, I am thoinking
about including as attachment your analysis
of the proposed ideas (warts and all). Obviously I should seek your
permission to do this. Please let me know if you give permission
for such use.
-------
Permission granted provided letter is used as a whole.
I'm sorry we didn't get a chance for a real conversation at the AI
meeting. I still think that a full numerical simulation of the plant
with facilities for modelling various accidents will provide a tool
for the AI program to make experiments with.
∂18-Aug-82 0425 MDD via NYU article for John Cocke
To: jmc at SRI-AI
CC: JMC at SU-AI
(1) I just got your message last night. (I don't look in my
SU "Mailbox" daily. - I suggest cc to DAVISM.ACF1@NYU.) I
put a capoy of CADE-6 PROCEEDINGS for Cocke in Jack Schwartz'
(physical) mailbox @ Courant. But he is not in every day.
(2) I'll be in Berkeley for 3 weeks starting Thursday night.
Phone:(415)-849-0435. I may be in Palo Alto Monday.
∂18-Aug-82 1117 FFL
To: JMC, FFL
Please call Stanford Terrace Motel (formerly Tiki) re reservation for
John Miller. 857-0333.
∂19-Aug-82 1303 Paul Armer <CSD.ARMER at SU-SCORE> Space
Date: 19 Aug 1982 1302-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: Space
To: CSD-Faculty: ;
Stanford-Phone: (415) 497-2274
CSD will be going through an exercise (with a short turnaround time)
with the Provost's office trying to convince them that we need more
space. If anyone in CSD is aware of a present or near future (the
next year) unmet space need for personnel or equipment, please do
one of the following:
1.) if your are a member of either of the following groups,
tell the contact person given:
Group Contact
Robotics Tom Binford
Computing Ralph Gorin
Facilities
2.) if you are not a member of either of the above groups,tell
me.
This is not the time to request a bigger office or a room with a window--
we are interested in things like visitors, unhoused personnel, new hires
and new equipment.
A number of people are away at present. If there is a space need you are
aware of and the individual who might be expected to tell us is away, please
try to fill in for him/her. For those of you around at the present, we'd
like this information by Friday the 20th. If you don't see this until
later, please tell me as soon as you can - better late than not at all.
Thanks for your help in this attempt to do something about our space
crunch.
-------
∂19-Aug-82 1643 Ichiki at SRI-AI TINLUNCH 8/26
Date: 19 Aug 1982 1643-PDT
From: Ichiki at SRI-AI
Subject: TINLUNCH 8/26
To: TINlunchers:
From: Robert Amsler
Regarding: TINLUNCH 8/26
The topic of the Tinlunch on Thursday, August 26, will be:
Title: NAMEHEADS
Author: John M. Carroll (will not be present)
Copies of the paper are on Barbara's file cabinet (EK270).
The talk will be at the usual time (12:00 to approx. 1:00) August 26th
in Conference Room EK242.
ABSTRACT: Proper names can often be shortened systematically (e.g.,
New York City ==> New York). The underlying mechanism for these
shortenings involves four sub-processes: Category Ellipsis, Location
Ellipsis, Appellation Formation, and Explicit Metonomy. The former
two produce nameheads (shortened proper names that preserve the naming
function); the latter two do not. It is argued that the name
shortening processes (i) operate in a lexical domain, but (ii) are
non-grammatical. An extra-grammatical analysis of the processes is
outlined.
-------
∂21-Aug-82 0937 Aaai-Office at SUMEX-AIM Bonnie's Message to AAAI
Date: 21 Aug 1982 0808-PDT
From: Aaai-Office at SUMEX-AIM
Subject: Bonnie's Message to AAAI
To: AAAI-Distrib:
Mail-from: ARPANET host UDEL-RELAY rcvd at 20-Aug-82 2139-PDT
Date: 20 Aug 82 10:49:16-EDT (Fri)
From: Bonnie Webber <bonnie.upenn@UDel-Relay>
To: aaai-office at Sumex-Aim
Subject: Please forward to AAAI council members, etc.
Via: UPenn; 20 Aug 82 21:46-EDT
Could you please forward this message to all people concerned with
upcoming annual AAAI meetings. Thanks, B.
To: AAAI Council, Executive Board, etc.
From: Bonnie Webber (Bonnie.Upenn@Udel)
Date: Friday, 20 August 1982
Subject: Next Annual Meetings
It was great seeing you all at the meeting. It was a good meeting, and I'm
sorry I had to leave early. I'm sure the riverboat banquet was unforgetable.
The reason for this note is that I have some additional suggestions concerning
the next annual meetings that I hope you will consider.
1. The 1983 meeting is currently scheduled for the Washington area. If the
University of Maryland is not able to host a meeting as large as this year's,
I suggest we consider holding the meeting in D.C. itself, but ON A WEEKEND -
that is, on a Friday, Saturday and Sunday - to take
advantage of the VERY LOW weekend rates that many many D.C. hotels
have. Since their primary clientele are people visiting the gov't
during the week, hotels are quite empty over the weekend. They have
special deals to encourage a weekend trade. The tutorials, on the other hand,
could be held on the Wednesday and Thursday, since I don't think we need
be as concerned about hotel rates for the people attending the tutorials.
As far as even less expensive housing, we might look into getting rooms
at the Georgetown University dorms or some such. If the conference hotel
is near Dupont Circle or somewhere else in the Georgetown area, that world
work out well. I think there's also American University in Washington.
I forget what other universities are there.
We could also get help in local arrangements from the folks at NRL.
2. In general I would suggest holding our meeting in a large city on a
main air route. As you probably realize now, Pittsburgh is much more
expensive to fly to from California than NYC, even though it's a mite
closer. Austin, for example, is not on any major air route, and therefore
will be very expensive to fly to. If we insist on Texas, Houston would be
better than Austin from the point of view of cost. However, I would prefer
not to go to Texas in August at all, given the summer heat.
It seems to me that the following cities are preferable from the point of
view of main air routes (hence lowest cost) and good professional conference
facilities: NYC, Boston (maybe), Chicago, Atlanta, Denver, Houston, SF,
Minneapolis, LA and San Diego (maybe). There may be others - I haven't
checked with my travel agent. For most of these cities, there is a local
group of AI people to help out, although presumably MOST of the arrangements
would be carried out by the hotel conference people working with Lou.
For example, NYC has John Sowa at IBM's midtown center. I'm sure he could be
prevailed upon to help out. Atlanta (which would probably be too hot as well)
has people at Georgia Tech.
The 1984 meeting (which Barbara has agreed to chair) will
probably be our largest ever (given no IJCAI that year). We should try to
cut down the local arrangements hassles, so as to ensure that this very
large meeting runs smoothly.
-------
∂22-Aug-82 1128 CLT
Could you please put a couple check books in bill tray? Thanks
∂23-Aug-82 0652 Chandra-at-OhioState <Chandrasekaran at RUTGERS>
Date: 23 Aug 1982 0952-EDT
From: Chandra-at-OhioState <Chandrasekaran at RUTGERS>
To: JMC at SU-AI
cc: Chandrasekaran at RUTGERS
In-Reply-To: Your message of 22-Aug-82 0209-EDT
I really don't think that we have disagreement on
the issue of the importance of numerical simulation in
the successful application of AI to the problem of reasoning about
complex engineering systems. My feeling is that qualitative
reasoning is better for some things, quantitative analysis
is better for others, but quantitative analyses must be invoked
by and subservient to the major reasoning part which will
be qualitative and symbolic, much like the engineer's
reasoning component is in charge of deciding when to resort
to say evaluation of a differential eqn to model some
aspect of the system, but which variables
to evaluate, what questions to resolve by menas of the
eqn. etc, are decided by the reasoning component. I am working
towards such a comprehensive model, but my feeling was (and is)
that the outline of the reasoning component has to be
somewhat better understood before we can know how
to integrate the simulation with the reasoning component.
My paper in the AAAI Proceedings, e.g., tries to show that
for some classes of well-posed problems and tasks, there is
in principle a reasoning structure that can dispense with
the "deep" models incl. numerical models.
Thanks for your comments and interest.
-------
∂23-Aug-82 1116 BUCHANAN at SUMEX-AIM Friday meeting with Cooper & Kahn
Date: 23 Aug 1982 1117-PDT
From: BUCHANAN at SUMEX-AIM
Subject: Friday meeting with Cooper & Kahn
To: feigenbaum at SUMEX-AIM
cc: jmc at SU-AI, csd.genesereth at SU-SCORE, rindfleisch at SUMEX-AIM
Jim Meindl will meet with them from 8:30 unil noon.
We will meet at the faculty club for lunch with Meindl & his group -- Meindl
is reserving a private room and is counting on about six from CSD.
We will meet with them from 1:30 until the end of the day in MJH 252.
Ed, we need some notes from you on what you would like us to say.
bgb
-------
∂23-Aug-82 1402 Sridharan at RUTGERS (Sri) Lisp and Lambda-Calculus
Date: 23 Aug 1982 1658-EDT
From: Sridharan at RUTGERS (Sri)
Subject: Lisp and Lambda-Calculus
To: jmc at SU-AI
Dear Professor McCarthy
I enjoyed listening your brief presentation at the Banquet Session of
the Lisp/FP conference in Pittsburgh.
I am doing a writeup of impressions from the conference, for the SIGART
Newsletter. I want to include in it the points you made describing
the differences between Lisp and Lambda-Calculus. I remember you
had these points on one slide for the viewgraph. Would you send
this to me via Arpanet?
Thank you, Sridharan
-------
∂23-Aug-82 2320 Feigenbaum at SUMEX-AIM Re: Friday meeting with Cooper & Kahn
Date: 23 Aug 1982 2317-PDT
From: Feigenbaum at SUMEX-AIM
Subject: Re: Friday meeting with Cooper & Kahn
To: BUCHANAN at SUMEX-AIM
cc: jmc at SU-AI, csd.genesereth at SU-SCORE, rindfleisch at SUMEX-AIM
In response to your message sent 23 Aug 1982 1117-PDT
Here is a note about what to expect re the meeting with Dr. Cooper on
Friday (1:30 to 5:30 in rm 252). This is all I know so I dont think
we'll need a meeting in advance.
The meeting is an informal gathering of just a few people. It is not a show-and-tell, not a project review.
It is a discussion about the future, about the nexxt generation of computers/
computation, about the 1990s and beyond.
Dr. Cooper apparently has become convinced (as he should) that the USA needs
a national strategy for next generation computation, and is holding discussions
with many groups about what that strategy should be. He is willing to ask cCongress
for a LOT of money to move the work forward. But he is searching for a cogent
and effective "investment strategy" for using such funds.
We are being asked to help him look toward the future and plan that investment
strategy.
The meeting is extremely important, since Dr. Cooper is the most powerful and
potentially effective person in Washington who has bothered to ask these
very important questions; and this is likely to be our only chance to
influence his thinking on these questions.
I'll be glad to answer any questions that any of you may have about this meeting
either by netmail or on the phone.
Lunch at the Faculty Club before the 1:30 meeting (joint with the Center
for Integrated Systems).
Ed
-------
∂24-Aug-82 0845 Aaai-Office at SUMEX-AIM Bonnie's Message II
Date: 24 Aug 1982 0844-PDT
From: Aaai-Office at SUMEX-AIM
Subject: Bonnie's Message II
To: AAAI-Distrib:
Mail-from: ARPANET host UDEL-RELAY rcvd at 24-Aug-82 0336-PDT
Date: 23 Aug 82 17:37:09-EDT (Mon)
From: Bonnie Webber <bonnie.upenn@UDel-Relay>
To: aaai-office at Sumex-Aim
cc: joshi.upenn at UDel-Relay
Subject: AAAI Annual Meeting
Via: UPenn; 24 Aug 82 6:04-EDT
Could you please forward this to council members and others involved with
planning our future annual meetings.
I did not include the following comment in my previous list of suggestions
concerning our upcoming meetings, as I wanted to talk it over with Aravind
Joshi first. But I would like to have Philadelphia included as a possible
conference site. By 1983, it will have two major Center City hotels able
to host conferences of the size we are expecting: The Franklin Plaza and
the new Hershey Plaza Hotel. The Hershey will be finished in '83, and will
be in an ideal central location, on Broad and Locust streets. Neither hotel
is within a short walking distance of the Penn dorms - it's a pleasant
half hour's walk - but buses run frequently along Walnut St. It will
probably be slightly more expensive to fly to Philly than to, say, NY from
the West Coast, but not as expensive as to Pittsburgh. It will be less
expensive to stay in than NYC, so the costs might balance out. Penn will
of course do all it can to be service.
Bonnie
-------
∂24-Aug-82 0952 Bob Moore <BMOORE at SRI-AI> copies of slides available
Date: 24 Aug 1982 0947-PDT
From: Bob Moore <BMOORE at SRI-AI>
Subject: copies of slides available
To: AIC-Associates: ;
There are copies of the slides from my AAAI talk available on the top
of the file cabinet in my office. Anyone who wants a copy may pick it
up at his or her convenience.
--Bob
-------
∂24-Aug-82 1338 TOB ORM
John
Who designed and built the ORM? We had a question about
it.
Tom
I think it was Scheinman.
∂24-Aug-82 1551 LGC Work Report
I still have to check with RPG on the time; who is Keith Clark?
∂24-Aug-82 1557 FFL
To: JMC, FFL
I am planning to take Thursday and Friday of this week as vacation days.
∂25-Aug-82 0954 LGC RPG Currently Unavailable
It appears that RPG is out of town, and won't return for about a week and a
half. Do you want to wait until after Labor Day to hear about our work from
both of us, or would you rather hear about it sooner from me? What's the
story on Keith Clark? -- Lew
Keith Clark is a computer scientist from Imperial College in London
and is visiting for 3 weeks starting this past Monday. He is interested
in what is going on, and is a good head, and I thought I would combine
my update with his. I guess a day or two after Labor Day would be fine.
Clark, KXC is currently sitting in Jussi's chair.
∂26-Aug-82 0522 Lowell Wood <LLW at S1-A> Next Week
Date: 26 Aug 1982 0522-PDT
From: Lowell Wood <LLW at S1-A>
Subject: Next Week
To: jmc at SU-AI
CC: LLW at S1-A
∂26-Aug-82 0024 John McCarthy <JMC at SU-AI>
Date: 26 Aug 1982 0023-PDT
From: John McCarthy <JMC at SU-AI>
To: LLW at SU-AI
How does one day next week (you name it) look for coming out?
[John: Fine! I presently expect to be in the East on Monday-
Wednesday, but later in the week looks good; either Thursday or
Friday--you pick it. Lowell]
Thursday it is then.
∂26-Aug-82 1614 ENGELMAN at USC-ECL [ENGELMAN at USC-ECL: Boehm]
Date: 26 Aug 1982 1607-PDT
Sender: ENGELMAN at USC-ECL
Subject: [ENGELMAN at USC-ECL: Boehm]
From: ENGELMAN at USC-ECL
To: jmc at SU-AI
Message-ID: <[USC-ECL]26-Aug-82 16:07:23.ENGELMAN>
Begin forwarded message
Mail-From: ENGELMAN created at 25-Aug-82 21:23:47
Date: 25 Aug 1982 2123-PDT
From: ENGELMAN at USC-ECL
To: mccaarthy at SU-AI
Cc: engelman at USC-ECL
Subject: Boehm
Message-ID: <[USC-ECL]25-Aug-82 21:23:47.ENGELMAN>
Sender: ENGELMAN at USC-ECL
John,
Corrado Boehm will be on sabbatical beginning in November. He is
looking for somewhere to visit for a couple of months, starting
January or February. I think the question of where he may visit
and funds can be considered separately. If you would be
interested in his visiting Stanford, send me a message for him.
He will call me this weekend (28-29), so I could pass it on.
Carl
--------------------
End forwarded message
∂30-Aug-82 1145 Sridharan at RUTGERS (Sri) lisp and Lambda calculus
Date: 30 Aug 1982 1359-EDT
From: Sridharan at RUTGERS (Sri)
Subject: lisp and Lambda calculus
To: jmc at SU-AI
Dear Professor McCarthy
I would like to include in my conference report, a brief summary
of your presentation at the banquet before the talk by Prof. Curry.
If it is not too much trouble, I would like to get a copy of your
slide in which you listed the ways in which Lisp differs from the
Lambda Calculus. Will you send this to me?
It would be easiest to receive this via Arpanet. You can also mail
it to me at
N.S.Sridharan
Department of Computer Science
Rutgers University, Hill Center
New Brunswick, NJ 08903
Thanks. Sri.
-------
∂30-Aug-82 1334 BCM Paper
When would it be possible to decide about getting together in order to
perhaps explore the idea of maybe considering this or next week to discuss
the draft article I gave you?
∂31-Aug-82 0936 FFL
To: JMC, FFL
Prof. Todorovich's office called and asks that you call him back at
212 840 6595. He is in right now and will be in at 2:30 NY time.
∂01-Sep-82 1046 FFL
To: JMC, FFL
Gina Kolata called, from SCIENCE magazine. Will call you again.
202 467 4327.
∂01-Sep-82 1123 Nilsson at SRI-AI Program Chair for AAAI-83
Date: 1 Sep 1982 1114-PDT
From: Nilsson at SRI-AI
Subject: Program Chair for AAAI-83
To: Amarel at RUTGERS, Bobrow at PARC, Buchanan at SUMEX-AIM,
To: Feldman at SUMEX-AIM, Lerman at SRI-KL, mrg at SU-AI,
To: Grosz at SRI-AI, Hart at SRI-KL, jmc at SU-AI,
To: Mcdermott at YALE, Minsky at MIT-AI, Nilsson at SRI-AI,
To: Reddy at CMUB, Stan at SRI-AI, gjs at MIT-AI,
To: Tenenbaum at SRI-KL, Walker at SRI-AI, dwaltz at BBNG,
To: Webber at BBNG, aaai-office at SUMEX-AIM
Ron Brachman has decided not to accept our invitation to be
the program chairman for AAAI-83. He has kindly agreed to provide
major help--but cannot take full responsibility this year. Remember
that we agreed to ask Barbara Grosz to be the program chairwoman
for AAAI-84. Barbara has also agreed to provide major help to this
year's chairperson. But we need to find such a chairperson VERY SOON.
The by-laws specify that the Ex Council name the program chair. I
suggest that we proceed as we did last year; namely that the
president (now me) propose some names for your reactions, and then that I
take these reactions into account and ask someone to undertake this
job. Since both Barbara and Ron have agreed to help in a major way,
it seems to me that planning the program would proceed most
expeditiously if the program chair were from the Stanford area. The
paper reviewing meetings could then also take place near here, and
the committee could draw on a reservoir of talent nearby to help
in the reviewing process.
The following list of people (in no particular order) would be
fine candidates, in my opinion:
John Seely Brown, Xerox-Parc
Danny Bobrow, Xerox-Parc
Mike Genesereth, Stanford
Cordell Green, Kestrel
May I assume that if I do not hear strong objections from you in the
next few days that you approve of me working through this list to
find a chairman?
--Nils
-------
∂01-Sep-82 1527 Bobrow at PARC-MAXC Re: Program Chair for AAAI-83
Date: 1 Sep 1982 15:25 PDT
From: Bobrow at PARC-MAXC
Subject: Re: Program Chair for AAAI-83
In-reply-to: Nilsson's message of 1 Sep 1982 1114-PDT
To: Nilsson at SRI-AI
cc: Amarel at RUTGERS, Bobrow, Buchanan at SUMEX-AIM, Feldman at
SUMEX-AIM, Lerman at SRI-KL, mrg at SU-AI, Grosz at SRI-AI, Hart at SRI-KL,
jmc at SU-AI, Mcdermott at YALE, Minsky at MIT-AI, Reddy at CMUB, Stan at
SRI-AI, gjs at MIT-AI, Tenenbaum at SRI-KL, Walker at SRI-AI, dwaltz at
BBNG, Webber at BBNG, aaai-office at SUMEX-AIM
I will NOT be willing to accept the program chair for next year.
danny
∂01-Sep-82 1904 LGC Borrowed Papers
This is a reminder that I've borrowed the following 2 items from your office
library, and intend to return them within a week. -- Lew
1. Clark, Keith L./Predicate logic as a computational formalism/Imperial College,
London/1979.
2. Clark, K.L. and Darlington, J.\Algorithm classification through synthesis\
Imperial College of Science and Technology\1978.
∂02-Sep-82 1509 Grosz at SRI-AI seminar announcement -- Stanford, Fall quarter
Date: 2 Sep 1982 1510-PDT
From: Grosz at SRI-AI
Subject: seminar announcement -- Stanford, Fall quarter
To: AIC-Associates:
Seminar announcement, Stanford computer science dept, fall quarter 82-83:
Title: CS370 Procedural Reflection
Meeting: Wednesdays, 1-4 p.m. (1st meeting: Sept. 29th)
Room 460-352 (Room 352, 3rd floor of Margaret Jacks Hall)
Instructor: Brian C. Smith (XEROX Palo Alto Research Center);
Office: 2400 Hanover St., Palo Alto, 94306, Room 108;
Phone: 494-4336 (anytime).
By a "reflective" process we mean a process able to "reason", effectively
and consequentially, about its own operations and structures. The seminar
will explore the design of reflective computational architectures, focusing
particularly on the provision of reflective capabilities in procedural
languages. Topics to be covered will include: the relationship between
declarative and procedural conceptions of semantics; self-reference in
formal systems; meta-structural, intensional, and higher-order function
hierarchies; meta-circular interpreters (a la LISP 1.5 and SCHEME);
continuation-passing programming styles; reflection in present programming
practice; and the architecture of a particular reflective dialect. The
instructor's 3-LISP language will be used throughout as an exemplar;
the design of other reflective dialects will be examined in student projects.
For further information contact the instructor at the address given above.
-------
∂03-Sep-82 0952 Konolige at SRI-AI Soporific
Date: 3 Sep 1982 0953-PDT
From: Konolige at SRI-AI
Subject: Soporific
To: AIC-Staff:, AIC-Associates:
For those of you having trouble sleeping at nights, a draft of the
first two chapters of my thesis is available in my office. Any comments
appreciated. --kk
-------
∂03-Sep-82 1403 Doug Appelt <APPELT at SRI-AI> Terry's new book
Date: 3 Sep 1982 1349-PDT
From: Doug Appelt <APPELT at SRI-AI>
Subject: Terry's new book
To: AIC-Associates: ;
Folks,
I have a copy of Terry Winograd's new book "Language as a Cognitive
Process, Vol 1. (Syntax)" in my office, if you're interested in perusing it.
- Doug
-------
∂04-Sep-82 1120 DEK happy birthday
P.S. After talking to you on Sunday, I recalled what my previous thoughts
about "factoring" were, re the n-queens problem. It was simply this.
Suppose you know all patterns of queens on, say, three adjacent columns,
where the queens don't attack each other. (You have stored these away
by doing a preliminary backtrack three levels deep.) Then you can set
up your main backtrack by working three columns at a time, and this
saves a little of the total work. I'm not sure how much.
It's pretty weak by comparison to your idea that essentially generalizes
this to consider triangular regions as well as rectangular ones!
∂04-Sep-82 1207 TOB Happy birthday
John
Happy birthday. Best wishes for a good year.
Warm regards
tom
∂06-Sep-82 0954 Kenneth M. Kahn <KEN at MIT-OZ at MIT-MC>
Date: 6 Sep 1982 0633-EDT
From: Kenneth M. Kahn <KEN at MIT-OZ at MIT-MC>
To: JMC at SU-AI
In-Reply-To: Your message of 5-Sep-82 0702-EDT
I'll see Sten-Ake this afternoon and tell him.
See you in Marseille.
-------
∂06-Sep-82 1401 Paul Armer <CSD.ARMER at SU-SCORE> CS200
Date: 6 Sep 1982 1354-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: CS200
To: CSD-Faculty: ;
Stanford-Phone: (415) 497-2906
I need your cooperation in putting on CS200.
Informal description of CS200 for potential lecturers
CS200 meets Thursday, 2:45 to 4:00, in 320-320 during fall
quarter. There are ten class meetings begining with September 30
skipping November 25 and finishing on December 9. Please contact me
to request a date for you or your group to give a presentation.
CS200 is intended to be an introduction to the research being done in the
Stanford CS Department. It is intended for entering students, in both the
PhD and Masters programs. The course is organized as a series of lectures
by CS faculty members. One unit of pass is available for attendance. The
course is intended to be (primarily) a forum for new students to meet
faculty members and to learn about current faculty interests and
activities. It is also a good way for a faculty member to attract
students to a pet project.
Each week a faculty member will be invited to present a lecture on what
his/her field is all about, what s/he is doing, and what sort of ongoing
projects s/he is involved in. The style of each lecture will certainly
vary depending on the speaker and his/her field of interest. The
following questions are suggested as typical of the sort a speaker might
want to address.
Definition/description of the field of interest. What are the classical
questions of the field? What are the classical tools applied to discover
answers to the questions? In what courses, in what books, can one find a
good introduction to the field? What is a representative open problem?
(I.e. what is the speaker working on right now?) What contribution, if
any, can a new grad student make to a research project? How does a
student get involved in project activities? (E.g. SIGLUNCH for those
interested in HPP activities.) Can someone whose primary interests are
not in the field make a contribution to the research? (E.g. Graphics
programming in the NA world.) Where is the interesting research going on?
Who is doing it? How does the Stanford CS dept. stack up compared to
other places?
Paul
-------
∂06-Sep-82 2211 RPG Meeting
To: JMC, LGC
Lew tells me we have an appointmentwith you to discuss the Advice
Taker at 1pm wednesday afternoon. I have to be in Livermore until
at least noon that day, so either later in the day or later in the
week would be better for me.
-rpg-
Let it be later in the day unless Wednesday is much better. Included
in the meeting is Keith Clark, and Thursday is his last day. I thought
Lew had arranged it with you.
∂07-Sep-82 1027 Archbold at SRI-AI Sept. 9th TINLunch
Date: 7 Sep 1982 1025-PDT
From: Archbold at SRI-AI
Subject: Sept. 9th TINLunch
To: TINlunchers:
cc: Archbold, Ichiki
The September 9th TINLunch will offer for perusal three recent articles
on conversational argumentation by L.Birnbaum, M.Flowers and R.McGuire
at Yale:
"Towards an AI Model of Argumentation" (AAAI-80, 3 pages)
"Opportunistic Processing in Arguments" (IJCAI-81, 3 pages)
"Argument Molecules: A Functional Representation of Argument
Structure" (AAAI-82, 3 pages)
These papers are accompanied by notes, in which we first attempt to
summarize and comment upon the materials presented, and then briefly
compare them to Robin Cohen's and Rachel Reichman's work, ending up with
some points which the TINLunchers may care to discuss.
Copies of the articles and the notes should be on Barbara's file cabinet
by the end of this afternoon.
-------
∂07-Sep-82 1027 FFL Sheryl Handler who had lunch with you and Marvin Minsky in
To: JMC, FFL
Pittsburgh, called to give you Phil Hilts' phone numbers:
301 365 2407 and 202 334 7437
∂07-Sep-82 1130 RPG
The message from LGC said:
As things presently
stand, we have an appointment with JMC (with Keith Clark sitting in) on Wed.,
8 Sept at 1pm., to report on the present status of our work on the Advice Taker.
∂07-Sep-82 1254 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> Talk at ATP Special Session
Date: 7 Sep 1982 1453-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Subject: Talk at ATP Special Session
To: jmc at SU-AI
cc: ATP.Bledsoe at UTEXAS-20
John,
See below the tentative program for the special session on ATP
at the Denver meeting of the AMS. Would you be willing to talk on
subject of intertional inference (I'm not sure of the title, but it
relates to the meta level reasoning that is used in the Wise Man
problem and the S&P problem, etc).
I sincerely hope that you can do this, because you started this
subject and are best able to talk about it. Whatever you want to say
is OK with me, but you might want to mention motivation, applications
(speech acts, robots, etc), some results like yours, Konolige's, etc.
Unfortunately the talks are only 20 minutes long except for the two
prize talks.
Also if you have any suggestions about the program, I'd appreciate
that too.
Best, Woody
.
Program for The ATP Session at the Denver AMS Meeting (Approx. Jan, 7,l983).
Donald Loveland (Brief Historical Overview of ATP) u
20 min
Hoa Wang (milestone winner) 40 Min + 20 min
Introduced by Martin Davis
Wos and Winker (current winners) 40 Min + 20 min
Introduced by Nils Nilsson
J Strouther Moore 20 Min + 10 min
Doug Lenat (on Conjecturing) 20 Min + 10 min
Peter Andrews (ATP in Higher Order Logic) 20 Min + 10 min u
John McCarthy (Intentional and Common Sense Inference) u
20 min + 10 min
Wen-tsun Wu (On His method for Geometry etc)
20 min + 10 min u
Derek Oppen (Complexity in ATP ( & and CSOR?)) u
20 min + 10 min
Pat Suppes (CAI of Logic and Set Theory) 20 min + 10 min u
Dallas Lankford (submitted paper)(if accepted)
20 min + 10 min
u means unconfirmed as of now
Some of these may not be invited.
The order may be changed.
W. Bledsoe
This is the annual meeting of the American Mathematical
Society. The full AMS meeting runs Jan 5-9, l983.
-------
∂07-Sep-82 1726 ME
I'll take another look at your modem Thursday or Friday afternoon,
once I'm really back from vacation.
Thanks, Marty.
∂08-Sep-82 0927 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEKS OF SEPTEMBER 6 - 17, 1982
Date: 8 Sep 1982 0907-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEKS OF SEPTEMBER 6 - 17, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
9/10/82 ERL401 Scott Wakefield
Friday Ph.D Oral Stanford University
10 A.M. ``Studies in Execution Architectures''
9/14/82 MJ252 Steven Shafer
Tuesday Robotics Seminar Carnegie Mellon University
4 p.m. ``Straight Generalized Cylinders''
!
-------
∂08-Sep-82 0952 REG the DEC RA81 disk system
The price is more than we hoped, but it may be a good deal anyway:
The most economical package is called the RUA81-EA. For $55,000,
there are three RA81 disks, a cabinet, and a unibus interface (UBA50).
Total capacity is 3 * 456 Mbytes = 1.368 G bytes. $40,200/GByte.
About 4 months ARO.
∂08-Sep-82 1127 Jeffrey D. Ullman <CSD.ULLMAN at SU-SCORE> Equipment Proposal
Date: 8 Sep 1982 1120-PDT
From: Jeffrey D. Ullman <CSD.ULLMAN at SU-SCORE>
Subject: Equipment Proposal
To: CSD-Faculty: ;
There is a new DoD program to fund equipment for research in all
areas (not just CS). They are entertaining proposals in the
.1M-1M range, but the constraint as far as computer equipment is
concerned is:
``While general purpose computer facilities will not be
purchased under this program, requests for specialized
computers that are entirely devoted to specific DoD research
programs will be considered.''
I therefore think that we should bundle together some of the
DoD sponsored projects that we have, with a brief description
of each, and request some dedicated equipment, for example,
5 LISP machines and 25 SUN terminals, totally about .5M in cost.
I need volunteers to write up their projects, provide
references and vitae, etc.; I'll send the relevant directions to
volunteers as needed.
The deadline for proposals is Nov. 30, so we ought to
do the writing by October. Let's not let this one slip by!
Jeff Ullman
Chairman, Equipment Comm.
-------
∂08-Sep-82 1551 GOGUEN at SRI-CSL [GOGUEN at SRI-CSL: last time at the old ranch party]
Date: 8 Sep 1982 1545-PDT
From: GOGUEN at SRI-CSL
Subject: [GOGUEN at SRI-CSL: last time at the old ranch party]
To: jmc at SU-AI, rww at SU-AI, dcl at SU-AI, dek at SU-AI
Date: 5 Sep 1982 1207-PDT
From: GOGUEN at SRI-CSL
Subject: last time at the old ranch party
To: WDE, Elspas, JGoldberg, Conchon, Goguen, Green, DHare, Kautz, Lamport,
Levitt, Melliar-Smith, Meseguer, Moriconi, Neumann, Pease, Schwartz,
Shostak, DBerson, Oakley, Sand, Plaisted, Knowlton, Schutten, Vogt,
Moser
cc: waldinger at SRI-AI, kp.hp-labs at UDEL-RELAY
Katie and I have bought a new house in Menlo Park, and want to celebrate
with a party in the penthouse of our old apartment house. You are
invited! Bring a friend if you like. The address is
580 Arastradero Rd., Palo Alto
which is just 1/2 block West of El Camino, at the corner where Rickey's
Hyat Hotel is located (also a Hertz place and a Midas Muffler). Our
apartment is #602, but the party is on the 9th floor. The time is 8pm.
The date is this Saturday, 11 September. There will be light food and drink,
not dinner. It is supposed to end by 12. Hope to see you there, Joseph
-------
-------
∂08-Sep-82 1601 Mark Stickel <Stickel at SRI-AI> [GOGUEN at SRI-CSL: logic programming languages]
Date: 8 Sep 1982 1542-PDT
From: Mark Stickel <Stickel at SRI-AI>
Subject: [GOGUEN at SRI-CSL: logic programming languages]
To: jmc at SU-AI
cc: Stickel at SRI-AI
Richard Waldinger suggested that you might be interested in attending this
too.
---------------
Mail-from: ARPAnet host SRI-CSL rcvd at 8-Sep-82 1530-PDT
Date: 8 Sep 1982 1527-PDT
From: GOGUEN at SRI-CSL
Subject: logic programming languages
To: WDE at SRI-CSL, Elspas at SRI-CSL, JGoldberg at SRI-CSL, Conchon at SRI-CSL,
Goguen at SRI-CSL, Green at SRI-CSL, DHare at SRI-CSL, Kautz at SRI-CSL,
Lamport at SRI-CSL, Levitt at SRI-CSL, Melliar-Smith at SRI-CSL,
Meseguer at SRI-CSL, Moriconi at SRI-CSL, Neumann at SRI-CSL, Pease at SRI-CSL,
Schwartz at SRI-CSL, Shostak at SRI-CSL, DBerson at SRI-CSL, Oakley at SRI-CSL,
Sand at SRI-CSL, Plaisted at SRI-CSL, Knowlton at SRI-CSL, Schutten at SRI-CSL,
Vogt at SRI-CSL, Moser at SRI-CSL
cc: waldinger at SRI-AI, stickel at SRI-AI, tyson at SRI-AI, warren at SRI-AI,
goguen at SRI-AI
LOGIC PROGRAMMING LANGUAGES SEMINAR
with Joseph Goguen, Jose Meseguer, David Plaisted and David Warren
THURSDAY, SEPTEMBER 9, 1982
2PM, room EL381
This will be a fairly informal event consisting of four parts:
[1] an overview of logic programming languages (there are at least
3 of them in the world);
[2] an introduction to the logic and operational semantics of OBJ
(equations and rewrite rules, respectively);
[3] an introduction to the implementation of OBJ1;
[4] a general discussion.
We anticipate major participation in each part by the individuals listed,
in roughly the order listed; and we invite your participation as well!
-------
-------
∂08-Sep-82 1758 Paul Armer <CSD.ARMER at SU-SCORE> Teaching Schedule
Date: 8 Sep 1982 1251-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
Subject: Teaching Schedule
To: CSD-Faculty: ;
Stanford-Phone: (415) 497-2906
The teaching schedule as I believe it to exist is attached. If you
want to look at it again sometime it appears in <csd.files>course-file.82-83.
It appears sorted by course number and also by faculty member name.
If you don"t know what course description goes with some of the new numbers,
consult <csd.files>bulletin.. You will note that times have yet to be
assigned to many of the courses for Winter and Spring Quarters.
Paul
Created 3/1/82 by CSD.ARMER. This page contains assignments by course for
82-83.
Updated 3/26/82 by CSD.ARMER.
Legend: "Staff" as an entry means that the course will be given,
but the instructor is as yet undecided.
An empty entry or "--" means that the course is not given
that quarter.
"???" means that at this time we don't know whether that course
is being offered this year or not.
A & means tentative assignment.
A * associated with a course means that it is an offering of EE and
that EE pays for the course. Corrections, additions, deletions
comments to CSD.ARMER.
Course Autumn Winter Spring Summer Notes
------------------------------------------------------------------------------
CS75 -- -- (Not given 82-83)
MWF 10:00
CS101 -- -- Feigenbaum
MWF 2:15
CS102 Novak -- --
MWF 1:15
CS103 Staff Staff Staff(TVI?)
CS104 Reges Staff(TVI) Staff(TVI)
tvMWF12
CS105-1 Staff Staff Staff Staff
CS105-2 Staff Staff Staff
CS105-3 Staff Staff Staff
CS105-4 Staff Staff Staff
CS105-5 Staff Staff Staff
CS105-6 Staff Staff Staff
CS106-1 Floyd Staff Staff Staff
CS106-2 Staff Staff Staff Staff
CS106-3 Staff Staff Staff
CS106-4 Staff Staff Staff
CS106-5 Staff Staff Staff
CS106-6 Staff Staff Staff
CS107/EE180 Heckerman Staff Staff Staff
tvMWF 2:15 MWF 2:15 MWF 2:15
CS108A Reid -- --
MWF 10
CS108B -- Reid --
MWF 10
CS109A -- -- Erhman
MWF 1:15
CS109B -- Gorin --
TTh 11-1215
CS111-1/EE181 *Gill Beaudry?? *Staff *Staff
MWF 11 MWF 10
CS111-2 Chou
TTH 9:30-10:45
CS111S/EE181S -- *Staff Staff *Staff
MWF 11 TTH 9:30-10:45
CS112/EE182 *Manning *Banks?? --
tvMWF 11 MWF 11
CS121A,B -- Buchanan Buchanan
Shortliffe Shortliffe
CS135 -- Swarztrauber Mayo
CS137A Mayo -- Mayo
tvMWF 2:15 MWF 2:15
CS137B -- Staff --
MWF 2:15
CS137C -- -- Oliger
MWF 2:15
CS142/EE285-1 Trattnig *Trattnig??
tvMWF 9 TTh 9:30
CS142/EE285-2 Stewart
MWF 11
CS143/EE283 -- *Hennessy --
TTh 9:30-10:45
CS145/EE287 -- Wiederhold --
MWF 1:15
CS146/EE286 *Lantz Cheriton --
tvTTh 1:15 MWF 1:15
CS147/EE284 *Tobagi -- --
TTh 9:30-10:45
CS150 -- Pratt --
MWF 2:15
CS154 -- -- Floyd
MWF 10
CS155 Mayr -- --
tvMWF 1:15
CS156 Manna -- --
tvTTh 9:30-10:45
CS157 -- Manna, Waldinger --
TTh 9:30-10:45
CS161 Ullman -- --
tvMWF 3:15
CS162 -- Floyd --
MWF 3:15
CS163 -- -- Pratt
MWF 3:15
CS192 (by arrangement)
CS193/EE183 *Flynn *Staff
TTh9:30-1045 TTh9:30-10:45
CS194/EE281 *Peterson *Gill *Staff
TTh2:45-4:00 TTh9:30-10:45 TTh9:30-10:45
CS199 (by arrangement)
CS200 Armer,Walker -- --
Th2:45-4:00
CS204 Knuth -- --
TTh11:00-12:15
CS206 McCarthy -- --
tvTTh1:15-2:30
CS209 (by arrangement)
CS211-1/EE381 *Wakerly?? *McCluskey --
tvMWF9 MWF 11?
CS211-2/EE381 McCluskey
TTh2:45
CS212/EE382 -- *Flynn *Staff
MWF10 MWF11
CS219 (by arrangement)
CS222 -- -- Genesereth
TTH 9:00-10:30
CS223 -- Genesereth --
CS224 -- -- Lenat
TTh1:15-2:30
CS226 -- McCarthy --
CS227A Roth -- --
tvMWF10
CS227B -- Binford --
CS227C -- -- Binford
CS229A -- Feigenbaum --
CS229B -- Novak --
CS229C -- -- Lenat
CS234 Dantzig -- --
TTh9:30-10:45
CS235/Stat227 Golub -- --
TTh11:00-12:15
CS237A,B,C (given 83-84)
TTH 9:00-10:15
CS238A,B,C Schreiber Wilkinson Petzold
TTh1:15-2:30 TTH 1:15-2:30 TTH 1:15-2:30
CS239 (by arrangement)
CS242/EE389 *Staff -- --
TTh11:00-12:15
CS243/EE383 -- -- *Hennessy
TTh 1:15-2:30
CS244 Cheriton Tobagi --
tvTTh1:15-2:30
CS245/EE485 -- -- Ullman
CS246/EE386 -- -- Lantz
TTH 9:30-10:45
CS249 (by arrangement)
CS250 (by arrangement)
CS254 Pratt -- --
MWF3:15
CS256 -- ←← Manna
TTh9:30-10:45
CS257 given 83-84 -- --
MWF 11:00
CS258 given 83-84 -- --
CS259 (by arrangement)
CS262 -- given 83-84 --
CS263A -- Mayr --
TTH 11:10-12:15
CS263B -- -- Mayr
TTH 11:10-12:15
CS265 -- given 83-84 --
MWF 11:00
CS266 -- -- Floyd
MWF 2:15
CS267 -- Ullman --
CS269 (by arrangement)
CS275 -- given 83-84 --
CS276 -- Brachman ←←
TTh 1:15-2:30
CS277 Grosz -- --
TTh 1:15-2:30
CS293 (by arrangement)
CS300 Mayr Staff Staff
T4:15 T4:15 T4:15
CS301 -- -- --
CS310/EE380 *Allison? *Flynn *Allison?
tvW 4:15 W 4:15-5:30 W 4:15-5:30
CS311/EE282 Allison -- *Allison
MWF 11:00 TTh 1:15-2:30
CS312/EE482 *Flynn
MWF10?
CS315/EE385A *McCluskey *McCluskey *McCluskey
M4:15 M4:15 M4:15
CS316/EE486 *given 83-84
CS317/EE487 *given 83-84
CS318/EE488 *McCluskey
CS319/EE385 (by arrangement any quarter)
CS320 (by arrangement any quarter)
CS321 given 83-84
CS323 (by arrangement any quarter)
CS327 Binford Binford Binford
M11
CS330 (by arrangement any quarter)M 4:15
CS341/EE481 *VanCleemput
MWF 9 ?
CS343/EE483 -- Lantz --
TTh11:00-12:15
CS344 *given 83-84
Lantz
CS345/EE385B Wiederhold Wiederhold Wiederhold
F 3:15 F 3:15 F 3:15
CS347/EE384 *Tobagi
TTh9:30-10:45
CS350 (by arrangement any quarter)
CS355 (by arrangement)
CS370 #Brian Smith
CS370 (by arrangement any quarter)
CS390 (by arrangement any quarter)
Created 3/6/82 by CSD.ARMER. This page contains assignments by individual for
82-83.
Legend: ??? means that the assignment has not been made for that quarter.
"none" or "leave" means that the person plans no teaching that quarter.
An entry of "--" means that there are no plans for that person for that
quarter.
* associated with a course means that it is a EE course.
* associated with a person means that the person is in the EE
department.
# associated with a person means that the person is not regular
faculty. I.e. lecturer, teaching fellow, visitor, ...
& means a tentative assignment
Name Autumn Winter Spring Summer Notes
------------------------------------------------------------------------------
*#Allison *CS310/EE380 *CS310/EE380
W 4:15 W 4:15
CS311/EE282 *CS311/EE282
MWF 11 TTh 1:15
#Armer CS200
Th2:45-4:00
*#Asprey
*Banks -- *CS112/EE182? --
MWF11
*#Beaudry CS111/EE181?
Binford CS227B CS227C
CS327 CS327 CS327
M11
#Brachman CS276
TTh1:15-2:30
Buchanan CS121A CS121B
Cheriton CS244 CS146 Research Leave
TTh1:15-2:30 MWF 1:15
#Chou CS111/EE181-2
TTh 9:30
Dahlquist
Dantzig CS234 none none
TTh9:30-10:45
#Ehrman CS109A
MWF 1:15
Feigenbaum CS229A CS101
MWF 2:15
Floyd CS106 CS162 CS154
MWF 3:15 MWF 10
CS266
MWF2:15
*Flynn *CS193/EE183 *CS212/EE382
TTh9:30-10:45 MWF 10
*CS310/EE380 *CS312/EE482
W 4:15
Genesereth CS223 CS222
TTH 9:00-10:30
*Gill *CS111-1/EE181 *CS194/EE281
MWF 11 TTh9:30-10:45
Golub CS235/Stat227
TTh11:00-12:15
#Gorin CS109B
TTh 11:00-12:15
#Grosz CS277
TTh 1:15-2:30
#Heckerman CS107
MWF 2:15
*Hennessy Teaching Leave *CS143/EE283 *CS243/EE383
TTh 9:30-10:45 TTh 1:15-2:30
Herriot Emeritus
Knuth CS204 Research leave Research leave
TTH 11:00-12:15
Lantz *CS146/EE286 CS343/EE483 CS246/EE386
TTh 1:15-2:30 TTh 11:00-12:15 TTH 9:30-10:45
Lenat CS224
TTh1:15-2:30
CS229C
*Luckham
Manna CS156 CS157 CS256
TTh 9:30-10:45 TTh 9:30-10:45 TTH 9:30-10:45
*Manning *CS112/EE182
MWF 11
#Mayo CS137A CS137A CS135
MWF 2:15 MWF 2:15
Mayr CS155 CS263A CS263B
MWF 1:15 TTH 11:10-12:15 TTH 11:10-12:15
McCarthy CS206 CS226
TTh 1:15-2:30
McCluskey CS211-1/EE381 *CS211/EE381 *CS318/EE488
TTh 2:45 MWF 11? TTh 2:45-4:00
*CS315/EE385A *CS315/EE385A *CS315/EE385A
M 4:15 M 4:15 M 4:15
Miller none none none
Novak CS102 CS229B
MWF 1:15
Oliger leave leave CS137C
MWF 2:15
*Owicki
*Peterson *CS194/EE281
TTh 2:45-4:00
#Petzold CS238C
TTh 1:15
Pratt CS254 CS150 CS163
MWF 3:15 MWF 2:15 MWF 3:15
*Reid CS108A CS108B CS142
MWF 10 MWF 10
#Reges CS104
MWF 12
Roth CS227A
MWF 10
Schreiber CS238A Leave Leave
TTh 1:15-2:30
Shortliffe CS121A CS121B
#Smith, Brian CS370
#Stewart,Larry CS142-2
MWF 11
#Swarztrauber CS135
*Tobagi *CS147/EE284 CS244 *CS347/EE384
TTh 9:30-10:45 TTH 9:30-10:45
Trattnig CS142/EE285-1 *CS142/EE285?
MWF 9
Ullman CS161 CS267 CS245/EE485
MWF 3:15
VanCleemput *CS341/EE481
MWF 9
*Wakerly *CS211/EE381-1??
MWF 9
Waldinger CS157
TTH 9:30-10:45
#Walker CS200
Th 2:45-4:00
Wiederhold CS145/EE287
MWF 1:15
CS345 CS345 CS345
F 3:15 F 3:15 F 3:15
Wilkinson none CS238B none
TTH 1:15-2:30
*Williams *CS111-1/EE181
MWF 10
Winograd leave leave leave
-------
∂08-Sep-82 1915 Archbold at SRI-AI REMINDER: Sept. 9th TINLunch - Yale Argumentative Analysis Articles
Date: 8 Sep 1982 1916-PDT
From: Archbold at SRI-AI
Subject: REMINDER: Sept. 9th TINLunch - Yale Argumentative Analysis Articles
To: TINlunchers:
The September 9th TINLunch will offer for perusal three recent articles
on conversational argumentation by L.Birnbaum, M.Flowers and R.McGuire
at Yale:
"Towards an AI Model of Argumentation" (AAAI-80, 3 pages)
"Opportunistic Processing in Arguments" (IJCAI-81, 3 pages)
"Argument Molecules: A Functional Representation of Argument
Structure" (AAAI-82, 3 pages)
These papers are accompanied by notes, in which we first attempt to
summarize and comment upon the materials presented, and then briefly
compare them to Robin Cohen's and Rachel Reichman's work, ending up with
some points which the TINLunchers may care to discuss.
Copies of the articles and the notes are on Barbara's file cabinet.
-------
∂09-Sep-82 1311 RPG
;;; test for some features
;bfun
(defun ok (sq list) (ok1 sq list 1))
(defun ok1 (sq list n)
(or (null list)
(and (ok2 sq (car list)n)
(ok1 sq (cdr list) (1+ n)))))
(defun ok2 (sq sq1 delta) (not (or (= sq sq1)
(= sq (+ sq1 delta))
(= sq (- sq1 delta)) )))
(defmacro makedo (n m s1)
(let ((s (gensym)))
(if (= m n)
`(do ((,s 1 (1+ ,s))
(occ nil)
(sols nil))
((> ,s ,n) sols)
(if (ok ,s occ)
(makedo ,n ,(1- m) ,s)))
`(do ((,s 1 (1+ ,s))
(occ (cons ,s1 occ)))
((> ,s ,n) sols)
(if (ok ,s occ) ,(if (= m 1)
`(setq sols `((,,s . ,occ) . ,sols))
`(makedo ,n ,(1- m) ,s)))))))
this:
(makedo 4 4 'lose)
expands into:
(DO ((G0070 1 (1+ G0070)) (OCC NIL) (SOLS NIL))
((> G0070 4) SOLS)
(AND (OK G0070 OCC)
(DO ((G0072 1 (1+ G0072)) (OCC (CONS G0070 OCC)))
((> G0072 4) SOLS)
(AND (OK G0072 OCC)
(DO ((G0074 1 (1+ G0074)) (OCC (CONS G0072 OCC)))
((> G0074 4) SOLS)
(AND (OK G0074 OCC)
(DO ((G0076 1 (1+ G0076)) (OCC (CONS G0074 OCC)))
((> G0076 4) SOLS)
(AND (OK G0076 OCC)
(SETQ SOLS (LIST* (LIST* G0076 OCC) SOLS))))))))))
which evaluates to:
((2 4 1 3) (3 1 4 2))
∂09-Sep-82 1841 RPG
(defmacro makedo (n m s1)
(let ((s (gensym)))
(if (= m n)
`(do ((,s 1 (1+ ,s))
(occ nil)
(sols nil))
((> ,s ,n) sols)
(if (ok ,s occ)
;;; this next line says to evaluate (makedo ...) which means
;;; solve the puzzle, I suppose. You would need ,(macroexpand-1 '(makedo...))
;;; to do what you want.
,(makedo n (1- m) s)))
`(do ((,s 1 (1+ ,s))
(occ (cons ,s1 occ)))
((> ,s ,n) sols)
(if (ok ,s occ) ,(if (= m 1)
`(setq sols `((,,s . ,occ) . ,sols))
`(makedo ,n ,(1- m) ,s)))))))
∂10-Sep-82 0907 JJW MacLisp Documentation
To: JMC, JK
A newer version of LISP.RPG[S,DOC] now exists. This is a copy of the file
that was at SCORE since last year, while we at SAIL still suffered with an
old version. Notable changes are new chapters on the compiler and on
writing LAP code, and a glossary of terms at the end (check out "recursion").
∂10-Sep-82 0940 Chappell at SRI-AI TINLUNCH FOR SEPTEMBER 16, 1982
Date: 10 Sep 1982 0940-PDT
From: Chappell at SRI-AI
Subject: TINLUNCH FOR SEPTEMBER 16, 1982
To: TINlunchers:
cc: chappell
From: Barbara Grosz
The TINLUNCH meeting for September 16, 1982 will be held in conference
room EJ222 at lunchtime. The papers that will be discussed are
LINGUISTIC AND COMPUTATIONAL SEMANTICS
and
COMPUTATION AND REPRESENTATION:
A SKETCH OF A UNIFIED THEORY
The author Brian Smith will be present. The copies of the papers are
on top of Barbara Grosz's file cabinet.
-------
∂10-Sep-82 1303 JJW LISP documentation
To: JMC, JK
Sorry, that was LISP.RPG[S,DOC].
∂11-Sep-82 0049 Bill Gosper <RWG at MIT-MC>
Date: 11 September 1982 03:41-EDT
From: Bill Gosper <RWG at MIT-MC>
To: jmc at SU-AI
oh, i forgot to mention that
i generalized a ramanujan q identity by observing:
partitions with largest part undivisible by k and at
most k times smallest part =
partitions with smallest part repeated at most k-1
times and at least 1/kth largest part.
∂13-Sep-82 0921 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> Denver talk Jan 7}
Date: 13 Sep 1982 1120-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Subject: Denver talk Jan 7}
To: jmc at SU-AI
cc: ATP.Bledsoe at UTEXAS-20
John, I need to send my tentative schedule to Bateman (AMS) today so
I will include your name as a speaker. I hope you can. Woody
-------
Yes, I'll do it.
∂13-Sep-82 0952 FFL
To: JMC, FFL
Philip Hilts called from Washington Post. 202 334 7437. Indicated that he
would call back about 1:30 p.m.
∂13-Sep-82 1310 TOB Malik
John
This is to acknowledge your message about Jatinder. Yes,
we will arrange space for him.
Regards
Tom
It's Jitendra.
∂13-Sep-82 1353 RPG
This is better:
∂13-Sep-82 1458 TOB
Thanks. I am grateful that you pointed out my error in his
name. I want to have it right.
∂13-Sep-82 1453 JMC
It's Jitendra.
∂13-Sep-82 1611 JK office space
Given that Zohar Manna visited my current office with the apparent
idea of making it his own, I would like to state my preferences for
office space: At most two inhabitants with two DD's and windows looking
outside.
∂13-Sep-82 1800 LGC Tuesday's Meeting @ 2:00
To: JMC, RPG
This is to confirm that we have all agreed to 2pm tomorrow for our next
advice-taker meeting.
∂13-Sep-82 1806 CLT
ive gone home to practice
∂13-Sep-82 2318 HST via SUMEX-AIM lisp-compiling
is my paper complete nonsense?i send you by mail a paerper concerning
lisp compilation by program transformation together with th proofs
for every step.do you remember of the wijngaarden paper at the 1964
conference on semantic description of programming languages?did you
hear at some time that he or somebody else did work out his prepro←
cessor-proscessor-proposal?
∂13-Sep-82 2343 RSF MTC qual
To: JMC
CC: RSF
Hi. Has a definite date for the next MTC qual been determined yet?
Also, have there been any changes in the reading list?
Ross.
∂14-Sep-82 1026 Marilynn Walker <CSD.MWALKER at SU-SCORE> Instructor Information
Date: 14 Sep 1982 1019-PDT
From: Marilynn Walker <CSD.MWALKER at SU-SCORE>
Subject: Instructor Information
To: csd-faculty at SU-SCORE
Dear Faculty:
Just in case you lost, misplaced, never received, or it remains at the
bottom of your pile, I have sent all of you another copy of my memo for
added reading enjoyment!
To:(All Instructors)
From:(Marilynn Walker)
Subject:(General Information)
The new academic year is just around the corner, so I thought I would provide some helpful information in hopes of answering some of the questions that so often come up during the year.
HANDOUTS
Lecture notes and copies of reprints will be charged to the student as follows: first 50 pages are free; 2 cents per page after that will be charged based on a total number of pages which are to be distributed on a daily or weekly basis during the quarter, and is payable at the first class meeting of the quarter. Instructors should estimate the number of handout pages at the beginning of the quarter. The TA should collect money in class and give checks to Amy Atkinson for deposit. Instructors will accept checks in the classroom as a convenience to students. Students paying in cash should pay Amy and show receipt to TA. Students who join the class after the first meeting are expected to make arrangements to pay for the handouts.
There will be no charge for other kinds of handouts, e.g., reading lists, assignments, solutions, and exams.
VIDEOTAPING
Courses will automatically be videotaped during the first week of class. After that instructors who request their courses be videotaped must see Marilynn Walker. Students who have course conflicts are asked to write a brief note stating the conflict and why they are requesting the course be videotaped and given to Marilynn for approval. There must be a minimum of three requests before we can approve videotaping.
CLASSNOTES
Classnotes are prepared by the instructor and sold in a package at the Stanford Bookstore. In order for the classnotes to be sold at the bookstore, it is important that our Publications Coordinator, Kathy Berg, receive them 4-6 weeks before the quarter starts. It is the instructor's responsibility for collecting the money in class if the deadline is missed.
COPY CENTER REQUESTS
Copy Center request forms are to be signed by Marilynn or Betty Scott, Marlie Yearwood, or Paul Armer. Be sure you or your TA note course number and title of paper.
AUDITING
Students who register on a full-time basis are considered to have the privilege of the University and may, with the consent of the instructors, audit lecture courses in addition to the program taken for credit. Students registered on some partial basis (half-tuition) may not audit additional courses without payment of the regular tuition that would be charged for credit registration. Changing from auditing basis to credit basis or vice versa is not permitted after the published deadline for changing study lists.
Persons not registered at Stanford are permitted to audit only under unusual circumstances; permission may be granted by the Registrar or Associate Registrar on payment of the Attendance Fee.
Staff members frequently request permission to audit CS105/CS106, which are classified as lab courses - not lecture courses. A staff member must obtain a Courtesy Card from the Registrar and show that to the instructor. An auditor is not entitled to computer time or grading of assignments. A staff member, who has an under-graduate degree may register on the unit basis and take the course for credit and receive computer time and grading. However, when Stanford students are turned away from a class because the class is filled, we should not accept staff members for credit. Staff members should be encouraged to take or audit the introductory courses during summer quarter when enrollment is lower.
GRADES
All end-quarter reports must come to Marilynn BEFORE they are mailed to the Recorder's Office. If you want a copy of the gradesheet, make a xerox copy of it before you bring it down. The Department copy remains in the Department Office. All grades are due within 96 hours after the final exam. In the case of degree candidates in spring quarter, final grades must be reported within 24 hours of the final exam.
Grades for students not on the End-Quarter Report should be submitted on Supplementary Report/Grade Change Notice cards (I call them "yellow grade change cards").
End-Quarter grades are final and not subject to change by reason of a revision of judgment on the instructor's part; nor are passing grades to be revised on the basis of a second trial (e.g., a new exam or additional work completed after the date of the End Quarter Report.) Changes may be made at any time to correct an actual error in computation or in transcribing, or where some part of the student's work has been unintentionally overlooked.
TV students (formally NRO - Non-Registered Option), beginning autumn quarter 1982, will appear on the regular End-Quarter Reports and be registered as Non-Matriculated students.
CHALK
Please remember to bring chalk with you to class. Departments, who provide classroom space, have complained in the past of the added cost of supplying chalk. The University does not reimburse departments for this expense.
P.S.
I also want to take the time to thank the faculty and staff who have been so helpful and patient during my first year in the Computer Science Department. I look forward to working with all of you during this next year.
Marilynn
-------
∂14-Sep-82 1652 Marilynn Walker <CSD.MWALKER at SU-SCORE> TA's Needed?
Date: 14 Sep 1982 1648-PDT
From: Marilynn Walker <CSD.MWALKER at SU-SCORE>
Subject: TA's Needed?
To: csd-faculty at SU-SCORE
cc: csd.mwalker at SU-SCORE
Please get in touch with me if you need assistance in finding a TA for
your course. The formula we're using is 1-50% TA per 30 students. I
am basically using last year's enrollment figures to determine the
allocations.
Marilynn
-------
∂14-Sep-82 1707 Marilynn Walker <CSD.MWALKER at SU-SCORE> LOTS Computer Facility
Date: 14 Sep 1982 1653-PDT
From: Marilynn Walker <CSD.MWALKER at SU-SCORE>
Subject: LOTS Computer Facility
To: csd-faculty at SU-SCORE
cc: csd.mwalker at SU-SCORE
Any faculty wishing to use LOTS for a class must fill out a questionaire
before class can be put on the computer. Questionaires may be picked up
in my office.
Marilynn
-------
∂14-Sep-82 1711 CLT
c u at home
∂14-Sep-82 1722 JJW LOTS
I talked to Ralph Gorin, and he suggested using the new 2060 which LOTS is
currently installing, especially for EKL, because it will have more
memory. I think it will be running by the beginning of the quarter, so
I'll try to get accounts there. I'll also fill out the questionnaire that
Marilynn mentioned.
∂14-Sep-82 1816 RPG
∂14-Sep-82 1815 JMC
Since GLS wants to continue maintaining Common Lisp Manual, that's fine.
But, he may not have the time and will have to bow out.
-rpg-*
∂15-Sep-82 0019 ME DM problem
∂14-Sep-82 2342 JMC garbage on Datamedia
From time to time there are fits of large amounts of garbage on
my Datamedia. Is this the fault of the telephone line, of the
Datamedia or of the equipment at Stanford? The errors are all
in transmission from the computer to the terminal.
ME - This is likely to be either the phone line or the terminal's
modem. If it occurs about equally during all calls, then it is
probably the modem, although you might have a generally noisy
phone line. If it only occurs on certain calls, then it represents
a bad line through the exchange and can usually be corrected by
hanging up and calling back (thus getting a different line).
I suppose it's the modem then, because hanging up and trying again
didn't seem to help last night, although it doesn't seem to occur
equally on all calls. I notice that when it's bad, the receive
light flickers, when I'm not doing anything and when the WHO
line isn't being rewritten. Is there a good way to check the
modem?
∂15-Sep-82 0127 ME modem
Another possibility is crosstalk from other phones. This would be
indicated if the problem occurs more at certain times of day than
others. But it sounds like you have a marginal modem. There is
no way to check the modem other than to replace it, which is a
little messy, especially without Don Coates around. I can probably
trade you another modem which may be better, although also probably
not perfect.
∂15-Sep-82 1030 CT CS 293
Hi. I am one of your advisees. While you were away last spring,
I made some minor changes of my classes for this year due to
scheduling conflicts. So I have to take 2 units of CS 293 per
quarter this year instead of all at once in Winter. I guess that
means that I should start thinking about a project soon. Is there
any time we could meet this week or early next week? Tomorrow is a good
day for me.
Thank you,
Chris Tucci
Come around any afternoon and look for me.
∂15-Sep-82 1212 RPG MOVE
In queen2.lsp, the function MOVE starts out in a pattern of GO's that
is not repeated throughout. In all other cases, there is a loop
on file, then a loop on rank. In the first case the file and rank
loop on file. In particular:
(defun move (sq)
(prog (sq1 u)
(setq takeback nil)
(occupy sq)
;;; Now look for other squares that can be deleted.
loop (if (null onefile) (go l1)) ; Files with only one possible space
; can be occupied immediately.
(setq u (avails-in-file (car onefile)))
(if (not (null u)) (go l1a))
(pop onefile)
(go loop)
l1a (setq sq1 (car u))
(pop onefile)
(occupy sq1)
(go loop)
l1 (if (null onerank) (go l2)) ; ranks with only one possible space
(setq u (avails-in-rank (car onerank)))
(if (not (null u)) (go l1b))
(pop onerank)
;;; this should be (GO L1) to be the same pattern as below.
(go loop)
;;;or else the others should GO back to the file case.
l1b (setq sq1 (car u))
(pop onerank)
(occupy sq1)
(go loop)
l2
; (BREAK T)
(if (null twofile) (go l3)) ; files with two spaces. Find and delete
; squares that attack both.
(if (= (occfile (car twofile)) nm2) (go l2a))
(pop twofile)
(go l2)
l2a (setq u (k2f (avails-in-file (car twofile))))
(pop twofile)
(purge u)
(go loop)
l3 (if (null tworank) (go l4))
(if (= (occrank (car tworank)) nm2) (go l3a))
(pop tworank)
(go l3)
l3a (setq u (k2r (avails-in-rank (car tworank))))
(pop tworank)
(purge u)
(go loop)
l4 (if (null threefile) (go l5))
(if (= (occfile (car threefile)) nm3) (go l4a))
(pop threefile)
(go l4)
l4a (setq u (k3f (avails-in-file (car threefile))))
(pop threefile)
(purge u)
(go loop)
l5 (if (null threerank) (go l6))
(if (= (occrank (car threerank)) nm3) (go l5a))
(pop threerank)
(go l5)
l5a (setq u (k3r (avails-in-rank (car threerank))))
(pop threerank)
(purge u)
(go loop)
l6 (push takeback stack)
(return 'moved)
))
∂15-Sep-82 1408 ME AP live again
∂15-Sep-82 1307 JMC
AP is dead
ME - OK, it's fixed now. Apparently, the DCA port it is on went into
a strange state at about 9am yesterday.
∂15-Sep-82 1531 RPG
(defmacro restore (vals . vars)
`(mapc #'set ',vars ,vals))
∂16-Sep-82 0858 Chappell at SRI-AI TINLUNCH
Date: 16 Sep 1982 0858-PDT
From: Chappell at SRI-AI
Subject: TINLUNCH
To: TINlunchers:
cc: chappell
From: Barbara Grosz
The TINLUNCH meeting for September 16, 1982 will be held in conference
room EJ222 at lunchtime. The papers that will be discussed are
LINGUISTIC AND COMPUTATIONAL SEMANTICS
and
COMPUTATION AND REPRESENTATION:
A SKETCH OF A UNIFIED THEORY
Brian Smith
Brian Smith will be present. Copies of next week's presentation
are on top of Elsie Chappell's file cabinet (EJ257).
-------
∂16-Sep-82 0902 Doug Appelt <APPELT at SRI-AI> Lisp machine distribution list
Date: 16 Sep 1982 0857-PDT
From: Doug Appelt <APPELT at SRI-AI>
Subject: Lisp machine distribution list
To: AIC-Associates: ;
Folks,
I thought I'd set up a distribution list for people who are interested
in receiving and sending junk mail on lisp-machine related topics. The
initial list is on <PEOPLE>LISPM.PEOPLE, and you can add or delete your name
from it.
- Doug
-------
∂16-Sep-82 1110 JK
To: csd.golub at SU-SCORE
CC: csd.armer at SU-SCORE, JMC at SU-AI
Dear Professor Golub,
A few days ago I found Zohar Manna inspecting my office with the
apparent belief that it was going to be his for the next academic year.
I view this as a somewhat inconsiderate way of informing me of future
office arrangements.
While the position of a Research Associate may not be viewed with
much respect by certain segments of the administration, I would hope that
in the future I be consulted on items of this importance as a matter of
elementary courtesy.
Sincerely yours,
Jussi Ketonen.
∂16-Sep-82 1147 FFL Call from Laura Wolfe of Free Press publishers
To: JMC, FFL
212 935 7647
re computer use and application in social sciences. Will be in SF week of
October 4 and would like to come here to see you on October 5 or 6. If you
can call her before 1:30 today, she would appreciate it.
∂16-Sep-82 1404 CSL.JLH.MOGUL at SU-SCORE (Jeffrey Mogul) Orientation Meeting, Sept. 23
Date: 16 Sep 1982 1344-PDT
From: CSL.JLH.MOGUL at SU-SCORE (Jeffrey Mogul)
Subject: Orientation Meeting, Sept. 23
To: faculty at SU-SCORE
cc: csd.ahnger at SU-SCORE, csl.jlh.mogul at SU-SCORE
We (the Orientation Committee) are holding the annual new-student
orientation meeting on Thursday, September 23, starting at 1:30 pm
in room 370 (across from Physics). You are invited to attend; if
you wish to address the assembly for a few minutes on a topic of
specific interest to incoming students, please let us know in advance.
-Jeff
-------
∂16-Sep-82 1546 BUCHANAN at SUMEX-AIM AI Lab Memos
Date: 16 Sep 1982 1539-PDT
From: BUCHANAN at SUMEX-AIM
Subject: AI Lab Memos
To: jmc at SU-AI
cc: mullen at SUMEX-AIM, csd.armer at SU-SCORE
John,
Do you have any reservations about allowing a reprint service,
Comtex Scientific in NY, to reprint AI Lab Memos? They will
be made available in microfiche and also through an online bibliographic
search service.
Dave Waltz is editor of their AI series and I agreed to be on
the editorial board. Comtex was talking about reprinting
all reports in the series, but that's before they've read them
thanks,
Bruce
-------
I have no reservations. However, it might be nice to get in exchange
some amount of access to their on-line system.
∂16-Sep-82 1551 BUCHANAN at SUMEX-AIM
Date: 16 Sep 1982 1551-PDT
From: BUCHANAN at SUMEX-AIM
To: JMC at SU-AI
In-Reply-To: Your message of 16-Sep-82 1549-PDT
Excellent idea. I'll see if I can arrange it.
thanks,
bgb
-------
∂16-Sep-82 1650 Ed Pednault <CSD.PEDNAULT at SU-SCORE> Meeting
Date: 16 Sep 1982 1640-PDT
From: Ed Pednault <CSD.PEDNAULT at SU-SCORE>
Subject: Meeting
To: JMC at SU-AI
Sorry that I have not been able to talk with you this week as I mentioned
that I would. I have been tending to a minor crisis that has taken most
of my time. I will try to arrange something late next week.
Ed
-------
∂16-Sep-82 1656 ARK The "Welcome" Party
You and a friend/spouse/lover are invited to The "Welcome" Party by
Arthur Keller, Carrie Beets, Doug Appelt, Joe Weening, and Maureen Tjan.
This gala event will be on Saturday, 25 September from 8 p.m. until dawn
at 3400 Kenneth drive, Palo Alto (856-3550), off Greer near Loma Verde.
Maps are posted on most CSD bulletin boards, and extras are by the
receptionist's desk in MJH.
This event is to welcome Carrie, Joe, and Maureen into our house, new
people into their new environs, and the rest of us into a new academic
year.
Come prepared for some serious carousing. We will furnish some above
average beer and goodies. Please don't feel inhibited about bringing
your favorite consumables.
Arthur Keller
∂16-Sep-82 1842 Guy.Steele at CMU-10A Photo
Date: 16 September 1982 2029-EDT (Thursday)
From: Guy.Steele at CMU-10A
To: jmc at SU-AI
Subject: Photo
Nice photo of you in the October National Geographic.
∂16-Sep-82 1847 Paul Armer <CSD.ARMER at SU-SCORE>
Date: 16 Sep 1982 1705-PDT
From: Paul Armer <CSD.ARMER at SU-SCORE>
To: JK at SU-AI, csd.golub at SU-SCORE
cc: JMC at SU-AI
Stanford-Phone: (415) 497-2906
In-Reply-To: Your message of 16-Sep-82 1110-PDT
The discourtesy belongs to me. My deepest apologies. I thought everyone
concerned had been aware of this pending move for some time. It's
not clear to me what will happen now. AS soon as I know more I'll
come see you. Once again, my abject apologies for my being inept. Paul
-------
∂17-Sep-82 1127 FFL
To: JMC, FFL
In January you asked for the proceedings of the 3rd National Conference of
the Canadian Society for Computational Studies of Intelligence, Victoria, B.C.,
1980. They have been look for it and found that now it is in the Math Library.
Do you still want it? Q336/C3/1980
Well, I've forgotten what I wanted it for, but I suppose I should look at it.
∂17-Sep-82 1420 RPG MLB
To: ME
CC: JMC, MLB
He is our local technical contact at Symbolics for the Lisp Machine we
have and for the ones we will later obtain. I believe the courtesy of a
SAIL account ought to be extended. This is especially true in light of the
fact that Symbolics is *loaning* CSD the Lisp Machine on the 4th floor.
-rpg-
I agree with RPG that MLB's SAIL account should be maintained.
∂17-Sep-82 1410 MLB
To: ME
CC: JMC, RPG, MRG
MLB@SAIL
∂27-Aug-82 2208 ME
Your SAIL account will be closed shortly. If there is any reason why it should
be maintained, let me know soon.
I don't know, except for general friendliness. Since I will be interacting
a lot with the Lisp machine users it would probably be a convenience for
everybody if I was accessible to local mail.
∂17-Sep-82 1506 RPG JMC letter
∂17-Sep-82 1450 Guy.Steele at CMU-10A JMC letter
Date: 17 September 1982 1641-EDT (Friday)
From: Guy.Steele at CMU-10A
To: Dick Gabriel <RPG at SU-AI>
Subject: JMC letter
In-Reply-To: Dick Gabriel@SU-AI's message of 17 Sep 82 14:50-EST
Yes, I think it is very reasonable. I am glad to hear that JMC
approves of the Common LISP effort. While indeed I hope to
continue to contribute to Common LISP,
(a) It's not "my baby", but a group effort.
(b) The future is unpredictable.
(c) I would feel better if there were a backup plan
if something happens to me.
(d) Being at Tartan may well affect my perceived,
if not actual, neutrality, though I myself
don't expect any problems for the next year or so.
(e) I think Fahlman would be very grateful not to have
to bear the burden of the Yellow Pages, so he can
do some AI.
If you are inclined to make such a proposal, I think it is a fine idea.
(However, this does not mean I am seeking to escape my current duties
with respect to Common LISP, which as I see them are editing of the
manual, distribution of drafts, collation of comments, polling on
issues, and arranging meetings.)
--Q
∂17-Sep-82 2131 Marvin Minsky <MINSKY at MIT-MC>
Date: 18 September 1982 00:26-EDT
From: Marvin Minsky <MINSKY at MIT-MC>
To: jmc at SU-AI
cc: MINSKY at MIT-MC
A publisher named COMTEX is reproducing the MIT-AI memos.
I have just written a rather romantic introduction, and I'd
like your comments on it. So I'll append the whole
draft to this message.
Also, are there any memos you want to suppress -
e.g., by ordering me not to let them be included?
So, here goes:
@COMMENT{intro.21}
@CENTER{INTRODUCTION
to the COMTEX microfiche edition of
The early MIT ARTIFICIAL INTELLIGENCE MEMOS
by
Marvin Minsky}
These are the voyages of the MIT Artificial Intelligence
Laboratory, and these remarks may help to understand the context
of this collection, though in many ways the memoranda speak
quite clearly for themselves and my comments are not, in any
case, to be regarded as history, for I have written them quite
hastily, in much the same spirit of the memos themselves, when
it was our strategy in those early days to be unscholarly; we
tended to assume, for better or for worse, that everything we
did was so likely to be new that there was little need for
caution or for reviewing literature or for double-checking
anything. As luck would have it, that almost always turned out
true.
In any case, my memory is as treacherous as anyone's, and trying
to recall those times - even the shapes of spaces where we
worked - yields only sharpened images that show the artifical
clarity of careful composition; they show "the ways things must
have been" as much as "really how they were". We had so little
sense, in those days, of "history in the making" that project
after project left no written trace at all. No memos describe
the eyeglasses we made with tiny CRTs projecting solid images
before the eyes, or the little wireless computer terminal (which
was promptly stolen) the complicated automatic "interfaces" we
made for the first robotic experiments. When the students made
the first "computer games" they were addictive then as now and
finally we banned the best one, SPACEWAR, from daytime use with
no sense of how historic it was - I think in 1964 - to make the
first such ban! And no one ever thought to document - or even
photograph - our first "Computer Graphic" blazing galaxies and
dazzling worlds of moving shapes, regarded as mere "hacks", and
mainly used to amaze our visitors.
(In fact, because we had so little sense of history, some memos
seem to be forever gone; the ones of which I couldn't find a
single copy; if anyone out there has one of those, please send a
copy we can add to this collection. The other missing memos are
because we couldn't get permission to reprint them; in that case
send permission, if you can!)
We started the MIT-AI laboratory shortly after John McCarthy and
I became Assistant Professors of the faculty of the MIT
MAthematics Department. While we had different views about how
to understand intelligence, we were both obsessed to find out
how a mind could do its "common sense reasoning". He aimed more
toward establishing good logical and mathematical foundations
for reasoning, and more toward computer architecture. I pursued
questions about heuristic control of problem solving systems,
and ideas about how brains might work. I preferred to try to
formalize heuristic processes, reasoning by analogy, and
theories of pattern recognition, while McCarthy worked to
formalize not only reasoning, but also programming semantics and
computer methodologies; this led him to some of the first
systematic ways to prove theorems about programs.
Ideas like these fused into an atmosphere of mathematical power
and heuristic adventure, of unbounded ambition and enthusiasm.
The laboratory grew steadily in size, and in ideas from many
spheres. It was axiomatic that our work would always have as
sound mathematical foundations as possible for its time; this
was why we were led to some of the foundations of the modern
theory of computational complexity. But we were equally
determined to find how mechanisms could be robust enough also to
work on problems that were "ill-defined", to tolerate diverse
varieties of ambiguity.
The results speak softly for themselves. I don't mean to boast,
but when computer specialists talk of "artificial intelligence",
they're rarely conscious of the debts they owe to workers in the
AI field for tools and techniques that they use every day in
every way. The AI laboratories were streams of basic
innovations in "ware" both hard and soft. Few remember how hard
it was to use computers in those days; programs prepared by
perforating cardboard rectangles were "submitted" as decks of
perforated cards to massive scheduling bureaucracies, then
passed through hired hands of professional machine operators; it
all took hours and even days. In frustration, John McCarthy
invented what is still today called "time-sharing", and soon we
had the first installation in which several workers could type
programs directly into a computer, at the same time, each
getting almost instant answers. (The job of running the machine
itself became just one more time-shared "job" and those human
operators disappeared.)
To do such things, we had to invent all sorts of "paging" and
"protection" schemes that now are standard features of all good
computers. We many of the first ways to program mechanical
hands and electronic eyes. Our students developed among the
first debugging programs - with cute names like "DDT" that
persisted long after that insecticide was banned.
Time-sharing's fast response made it feasible to use the
computer itself to help composing text and programs, and this
became the normal @I{modus operandi} of our staff; this reached
the public only ten years later, with new names like
"word-processing" and "user-friendly". We convinced a small
computer company called Digital Equipment to offer time-sharing
on their computers; larger companies took longer and by the time
they got the idea, DEC had grown larger than most all of them.
Now some of our students began to graduate from the AILAB, and
most went on to research of their own; fifteen of my first
twenty students became professors. Some helped build up the
research group at Bolt Beranek and Newman, where McCarthy had
supervised some of time-sharing research. Around 1964, McCarthy
himself left to start a new AI laboratory at Stanford, which
quickly became another world center of AI research; now there
three principal AI laboratories, at MIT, Stanford, and (what is
now) Carnegie-Mellon University, where Allen Newell and Herbert
Simon pursued AI research they had begun in the middle 1950's.
SRI soon became another major AI laboratory and now there are
many more, but those first three are still the largest ones.
I had started my own work even earlier, as an undergraduate at
Harvard. Fascinated with the ideas of McCulloch, Lettvin,
Pitts, and Selfridge, in the great days of early cybernetics, in
1956 I joined Oliver Selfridge's group at the MIT Lincoln
Laboratory, and perhaps derived from him and (in turn) from
McCulloch my earliest ideals of how to make a laboratory. The
bold support of our adventure by several others is nowhere
fairly documented; Jerry Wiesner and Philip Morse found us our
early space and funds, brave mathematicians like Norman
Levinson, Witold Hurewicz, Claude Shannon and Norbert Wiener
supported our intolerable conceits and, as we grew our junior
faculty, heroic chairmen Ted Martin and Peter Elias supported us
within MIT's Mathematics and E.E. departments.
Around 1963 my friend and former teacher of psychology, J.C.R.
Licklider, went to Washington D.C. to fund research on computers
from the Defense Department's "Advanced Research Projects
Agency". This led to Project MAC at MIT, which was for us a
golden age of financial support; for an entire decade we pursued
without compromise the scientific directions we thought were
best. Licklider then replaced himself by recent former
students of ours, so that our research continued to be sponsored
by brilliant scientist-engineers like Larry Roberts and Ivan
Sutherland - while playwright-linguist Marvin Denicoff
administered the contracts through the Office of Naval Research.
At MIT the golden age of Project MAC was masterminded by Robert
Fano, a visionary engineer-theorist.
Soon after McCarthy moved to Stanford, Seymour Papert joined the
laboratory; mathematician, psychologist and philosopher, fresh
from five years work on child development with Piaget in Geneva.
We worked so well together that, for a decade, we each could run
the laboratory effortlessly, leaving the other to decide what
must be done. Co-directing is never having to discuss
non-technical matters. (But this was also due to the giant web
of tasks assumed by engineer-manager Russell Noftsker, who also
could read scientific minds.) We worked especially closely
together on developing "intelligent robotics"; our goal was to
make machines both to See, and understand that which they Saw,
enough to make their metal hands do interesting, real jobs.
Many details of those projects were documented in myriads of
"working papers" outside the present series of memos.
Several streams of AILAB research barely appear at all in these
memos. We worked for several years on mathematical theories of
the then-mysterious "Perceptron learning machine", but the
results were published only in book form. Papert elaborated a
great network of ideas about mental development and education,
and built a fertile research group around his new computer
language LOGO; that work on the theory of education scarcely
shows at all in Memos because it had its own series. I simply
never got around to document, at all, three years of building a
powerful LOGO-based personal computer for real-time animated
graphics. And while LOGO research began in the late 1960's, its
ideas entered the mainstream of public education only in the
early 1980's; we had to wait so long for inexpensive personal
computers that many of these "new" ideas are older than the
children learning them.
As a record of the laboratory's work,this collection has other
dimensions of incompleteness. The "AI memos" were meant to be
informal; little more than half-baked schemes, written down for
others (both inside and outside the laboratory) to use, but not
deemed finished or significant enough for formal publication.
When ideas became "final" documents, e.g., academic Theses, or
final Project Reports, they appeared either as MIT "Technical
Reports" or as publications in professional journals. Also there
were other series of "working papers" that were regarded as
entirely internal, for use by colleagues in the laboratory, and
not advanced enough to become "AI memos", which often contained
program listings, more details of how things actually worked,
circuit diagrams, or even charts of where machinery was hidden
under section of laboratory floor. But often there were
substantial discoveries not documented elsewhere.
But the largest and obscurest dimension of incompleteness was
the paradox in which the things most clearly understood are
scarcely written down at all; why bother if you can explain it
in a few moments? Yet such ideas that people carried only in
their heads were often just the most important ones. It was
only by the merest chance that I actually wrote the widely
influential Memo 306, because when I first explained the idea
everyone said it was obvious, and it seemed worth writing
down only when I chanced on someone who @I{didn't} like it.
In the early 1970's the mood at ARPA changed for a time, perhaps
because we hadn't found another brilliant youngster to spend
that precious time in Washington. Administering and funding the
AILAB became more difficult, and ARPA even tried to influence
the content of our proposals. Neither Papert nor I could deal
with this but Patrick Winston, one of our most original
researchers, could. So we made him Director, and he still is.
The memo record shows less frequent Winston papers, once he
undertook so much at once, but that written record fails to show
the growing influence of his ideas on student, staff, and faculty.
What is "Artificial Intelligence", anyway? It makes no sense to
define things not inherently constrained; AI was what one made
it be - when none were wise enough to specify the very best
thing it could be. It is easier to say what it AI wasn't: it's
absolutely not that kind of mish-mush "interdisciplinary"
combination that comes and goes in universities. Instead, I see
it as a science of its own, growing with increasing coherency,
of what processes - it makes no difference that they be embodied
in machines or minds - can solve various sorts of problems.
Of course, eventually, one has to characterize the
@I{kinds} of problems but, for practical purposes we usually
tell passer-bys this easy definition: "AI concerns performances
that a person needs intelligence to do". For instance, when
Slagle wrote the SAINT program in 1960, that was "AI", because
solving college calculus problems then seemed to need
intelligence. However, once Jim Slagle showed us how, such
problems somehow no longer seemed to @I{need} so much
intelligence; in fact it left us wondering why students take so
long to learn to solve those kind of problems.
So, in this sense, the term "intelligence" itself seems only to
describe the moving horizon of our growing understanding of how
minds might work. Imagine, if you dare, that some
super-intelligent extraterrestrial alien were to examine a human
brain and understand completely how it works, just as a person
understands completely all the gears and ratchets of a
wrist-watch. Then an alien @I{that} smart might not consider
@I{us} intelligent. The idea it might talk to us would seem as
strange, to it, as we would think of talking to a clock. I find
most people seem un-nerved at the idea of a science aimed at a
moving horizon. They say accusingly: "how can you study
something that you can't even define". Well, most studies are
just so; Biology, the study of "life" is precisely the horizon
of our growing understanding of organisms. Once Watson-Crick
showed us how gene-strings reproduce, it left us wondering why
people took so long to think of such a simple thing - and every
scientist knows now that there isn't any real boundary defining
"life" except that moving frontier marked by what we understand
of physiology.
Indeed, from yet another point of view, I sometimes think of AI
as "the current frontier of computer science". (This angers some
who call themselves "computer scientists" - but eneryone must
understand how sensitive must be those colleagues who proclaim
their "Science" on their very greeting cards.) Then, in that
view, AI is simply finding ways to make computers do the useful
things that no one yet knows how to make them do. This lazy
comprehensiveness has one annoying side-effect of making AI's
cumulative reputation subject to a continual "exponential decay"
- wherein each achievement fades away to be credited to some
other specialty. Actually, I think this is a great and
vitalizing fact; let me explain it by examples.
In AI's early days we were concerned with recognizing
patterns of many kinds. Today, "pattern recognition" has
become a separate field; it has journals of its own, nor will AI
AI journals accept papers on that subject. Similarly a new
field of "symbol manipulation" emerged from AI research efforts
like our MACSYMA project, now seen as in the field of "symbolic
applied mathematics". Another "spin-off" from AI is the
soon-to-be enormous industry of intelligent sensori-motor
Robotics. Yet another industry will soon emerge from work in
the 1970's on making programs that write programs; this probably
will call itself "automatic programming". And fairly soon ideas
that have been brewing in AI since the 1960's, on making
computers @I{understand} significant fragments of natural
language, will enter and, I'm sure, soon dominate the main
stream of Linguistics. (In the era of these memos, it was the
students in AI, almost alone, who carried on the quest for
meaningful theories of linguistic processes, when most all other
language work was stuck in shallow, syntax-oriented,
formalisms.)
In reading through the memos you can almost feel the pace at
which "responsiveness" evolved in our computing systems. Only
today are such "programming environments" becoming popular
"outside", using "new techniques" that stem from those earlier,
unheralded AI systems that integrated editing, debugging, and
compiling within the single systems that evolved across these
twenty years. And now, today, much AI work is aimed at
representing knowledge in computers; these new techniques are
moving into what is called "cognitive psychology", and also into
the new industry of building so-called "expert systems".
These memoranda depict the early days in which those youngsters
came to MIT from all the world, obsessed and inspired perhaps as
much by science fiction fantasy as scientific papers - as much
by Asimov, Heinlein and Pohl as by Turing, Shannon, and
McCulloch. But the past few years have strangely changed the
social world of Artificial Intelligence; now it has hit the
proverbial fan. When those first students came to work with us,
they had to bring along a special kind of courage and vision,
because most authorities did not believe AI was possible at all.
Today the AI laboratories suffer raids from greedy industries,
and students need a different sort of strength, sometimes before
they even graduate, to turn away from salaries quite higher than
commanded by department heads. I dread the embrace of that
commerce-world, for soon we'll have to watch our students start
to hide "proprietary" papers from their friends: we pioneers had
but to share, to face each real or imagined enemy. For then it
was impossible to "give away a good idea" while now we're
listened to, I feel, a lot too much more carefully.
Besides, I find it queer when entering students ask "what
attracted you to AI" or "how did you get interested in
computers"? To them it seems such things were always there; to
us it seems they've barely yet arrived. So now I'd caution
students: "are you sure it's good to be so interested in
computers? Shouldn't you try to start to work on what will come
@I{after} computers?" Of course I'd just pretend to be
surprised when they're surprised, because I haven't yet myself
imagined quite what such a thing might be. (Well, nothing like
a present-day computer, but probably some sort of active-memory
semantic network - and surely made of solid optics or
something, because those 2-D "chips" waste too much space and
therefore will not last too long.)
So in that one, quite different, sense this set of memos
@I{has} a certain island-like complete integrity: it spans the
era within which AI attained complete respectibility. This
doesn't herald any punctuation in research; why, just the
problems in clear view could fill another hundred years, with
scientific and technological challenges more delicious than ever
before. I hope these memos show the wonder and exhilaration of
how it was to grow with and in that terribly new, marvellously
intricate, and - as it turned out - entirely sound intellectual
domain. But I suppose there's really just one way to fully
share in such a thing; you have to take some big exhilarating
risk and reject almost all old theories, thinking - "how
wrong those early AI workers were, how foolish and how careless
they must have been to miss the best and simplest things" - and
then explore some very different path and hope it leads to
something very good.
Bruce Buchanan just told me that Comtex also proposed to republish
the Stanford AI Memos. I told him I had no objections, but I hoped
that we would get some amount of access to his on-line data base
in return. I have no desire to suppress any of the M.I.T. AI Memos.
It occurs to me, however, that some time in the 1970s it became
the custom among graduate students to copyright their works.
Presumably Comtex would have to get their permissions as well
to publish those memos that are copyrighted.
∂18-Sep-82 0839 Woody Bledsoe <ATP.Bledsoe at UTEXAS-20> ATP Session Schedule
Date: 18 Sep 1982 1036-CDT
From: Woody Bledsoe <ATP.Bledsoe at UTEXAS-20>
Subject: ATP Session Schedule
To: jmc at SU-AI, dwl.duke at UDEL-RELAY, peter.andrews at CMU-10A,
lenat at SU-AI, cl.boyer at UTEXAS-20, oppen at PARC-MAXC
cc: ATP.Bledsoe at UTEXAS-20
Here is a tentative schedule. It now appears that we will start on
Jan 5 instead of Jan 7. If one of you would prefer Jan 6, please let me
know.
I want to remind you to send in the abstracts as asked. They need not
be long, but the AMS will not list people on the program without an
abstract. I'd like a copy of your abstract too, if you will. Also note
that I have taken a stab at a title for each talk, please correct those and
let me know the correct titles.
Program for The Automatic Theorem Proving Session at the Denver AMS Meeting
January 5-6, l983
TENTATIVE SCHEDULE
Wednesday, Jan 5, 10:00 - 12:30 AM
Donald Loveland (Brief Historical Overview of ATP)
20 min
Hoa Wang (milestone winner) 40 Min + 20 min break
Introduced by Martin Davis
Wos and Winker (current winners) 40 Min + 20 min
Introduced by Nils Nilsson
Wednesday, Jan 5, 2:30 - 5:30
Bob Boyer (automatically proving 40 Min + 20 min
theorems about recursive functions)
Doug Lenat (Automatic Conjecturing 20 Min + 10 min
in Mathematics)
Peter Andrews (automating Higher Order Logic) 20 Min + 10 min
John McCarthy (Non Monotonic Logic, Intentional and Common
Sense Inference)
20 min + 10 min
Wen-tsun Wu (On His method for Geometry etc)
20 min + 10 min u asked
Derek Oppen (Decision procedures and/orComplexity in ATP, etc) u asked
20 min + 10 min
Thrusday, Jan 6, 9:00 - 10:30
Pat Suppes (CAI of Logic and Set Theory) 20 min + 10 min u asked
Woody Bledsoe (some automatic proofs in Analysis)
20 min + 10 min
Dallas Lankford (submitted paper)(if accepted)
20 min + 10 min
u means unconfirmed as of now
The order may be changed.
W. Bledsoe
This is the annual meeting of the American Mathematical
Society. The full AMS meeting runs Jan 5-9, l983.
The session on Proof Theory, organized by Donald Monk,
is tentatively scheduled to start Thursday afternoon.
The ATP Prize committee at noon Thursday, Jan 6.
I will be out of the country (Peking, China) during
Sept 29 - Oct 24.
-------
∂18-Sep-82 0921 baskett@Shasta (SuNet)
Date: Saturday, 18 Sep 1982 09:19-PDT
To: John McCarthy <JMC at SU-AI>
In-reply-to: Your message of 18 Sep 1982 0119-PDT.
From: Forest Baskett <baskett at Shasta>
My present work phone is 949-0777. I'll even fix my plan if I can find
someone to remind me how to do it.
Please call or, better yet, stop by. We are at 4410 El Camino Real,
Los Altos, in a big black glass building on the west side of the road
just before you get to San Antonio. I think you should be quite
interested in what we are doing and I have lots of questions for you.
Forest
∂18-Sep-82 1437 Lowell Wood <LLW at S1-A> Seeing Each Other
Date: 18 Sep 1982 1437-PDT
From: Lowell Wood <LLW at S1-A>
Subject: Seeing Each Other
To: jmc at SU-AI
CC: LLW at S1-A
∂16-Sep-82 1515 John McCarthy <JMC at SU-AI> getting together
Date: 16 Sep 1982 1512-PDT
From: John McCarthy <JMC at SU-AI>
Subject: getting together
To: llw at S1-A
My contract, or at least my badge, expire September 30. I would
like to get together before then to discuss, among other matters,
whether it is mutually useful to extend them.
[John: I've asked for both your consulting contract and your badge to be
continued for FY'83 (as DoE only allows us to do so one year at a time).
The process is just running late this year. I hope that you'll see fit to
continue this relationship, and look forward to discussing it with you
when next we see each other. I'm sorry that I'm having to be on travel
fairly constantly for the next 2.5 weeks, trying to make good on several
long-standing commitments. Lowell]
OK, let me rely on you to send me a message when it is convenient to
get together. Weekends are usually ok also.
∂18-Sep-82 1619 ullman@Diablo (SuNet) lunch
Date: 18 September 1982 16:17:59-PDT (Saturday)
From: ullman at Diablo
Subject: lunch
To: jmc at sail, pratt at shasta, zm at sail
How about we meet Tuesday noon at the faculty club to discuss MTC?
Tuesday noon ok with me.
∂18-Sep-82 1719 RPG
∂18-Sep-82 1659 JMC
Is there any kind of defstruct in Maclisp?
Yes. READ DEFSTRUCT for documentation. It is nearly identical to
Lisp Machine Defstruct.
-rpg-
∂19-Sep-82 1303 RPG
∂18-Sep-82 1721 JMC defstruct
Well I see it has the same name, but a simple attempt to use it
got a complaint about an undefined function. What must I do do
get the package?
Put (fasload struct fas lisp) in your Lisp.ini and Elisp.ini.
Your Elisp.ini should look like:
∂20-Sep-82 0907 Chappell at SRI-AI SEPTEMBER 23,1982 TINLUNCH
Date: 20 Sep 1982 0906-PDT
From: Chappell at SRI-AI
Subject: SEPTEMBER 23,1982 TINLUNCH
To: TINlunchers:
cc: chappell
I
From: Barbara Grosz
The TINLUNCH meeting for September 23, 1982 will be held in conference
room EJ242 at lunchtime. The paper that will be discussed is
MUTUAL KNOWLEDGE AND RELEVANCE IN
THEORIES OF COMPREHENSION
by
Dan Sperber and Deirdre Wilson
Copies of next week's presentation are on top of Elsie Chappell's file
cabinet (EJ257).
-------
∂20-Sep-82 1006 Gene Golub <CSD.GOLUB at SU-SCORE>
Date: 20 Sep 1982 1002-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
To: jmc at SU-AI
Let's get together today when you have a chance. G
-------
∂20-Sep-82 1048 FFL
To: JMC, FFL
Gene Golub stopped by and asked me to let you know that he would like to see you.
∂20-Sep-82 1125 CLT
donneley!!!!
∂20-Sep-82 1247 LOUNGO at RUTGERS new technical reports
Date: 20 Sep 1982 1538-EDT
From: LOUNGO at RUTGERS
Subject: new technical reports
To: erman at USC-ISIB, shortliffe at SUMEX-AIM, dreifus at WHARTON-10,
bennett at SU-SCORE, mittal at RUTGERS, chandrasekaran at RUTGERS,
jsmith at RUTGERS, deolankar at RUTGERS, wilkins at SRI-KL, bruce at BBNA,
webber at BBNC, friedland at SUMEX-AIM, plondon at USC-ISIB,
erm at MIT-ALCATOR at MIT-AI, rdg at SU-AI, pressburger at KESTREL,
csd.gardner at SU-SCORE, fagan at SUMEX-AIM, fikes at PARC-MAXC,
jmc at SU-AI, clancey at SUMEX-AIM, krd at MIT-AI, hamilton.es at PARC-MAXC,
amsler at SRI-AI, chinguyen.es at PARC-MAXC, lisa at UTEXAS-11,
kwh at MIT-AI, utgoff at RUTGERS, turock at RUTGERS,
ecg.rich at DEC-MARLBORO
cc: louNGO at RUTGERS, petty at RUTGERS
Below is a list of our newest technical reports.
The abstracts for these are available for access via FTP with user account
<anonymous> with any password. The file name is:
<library>tecrpts-online.doc
If you wish to order copies of any of these reports please send mail via the
ARPANET to LOUNGO@RUTGERS or PETTY@RUTGERS. Thank you!!
[ ] DCS-TR-115 A SURVEY OF RESEARCH IN STRATEGY ACQUISITION, R. Keller, April
1982.
[ ] DCS-TR-116 GROUP VELOCITY AND REFLECTION PHENOMENA IN NUMERICAL
APPROXIMATIONS OF HYPERBOLIC EQUATIONS: A SURVEY,
R. Vichnevetsky, March 1982.
[ ] DCS-TR-117 INCREMENTAL DATA FLOW ANALYSIS BASED ON A UNIFIED MODEL OF
ELIMINATION ALGORITHMS, Barbara Gershon Ryder, September 1982.
[ ] DCS-TR-118 TRANSFORMATIONAL PROGRAMMING--APPLICATIONS TO ALGORITHMS AND
SYSTEMS, Robert Paige, September 1982.
[ ] DCS-TR-119 FAST MINIMAL DISTANCE ENUMERATION OF SMALL COMBINATIONS, W.L.
Steiger, P.M. Neuss, September 1982.
[ ] LCSR-TR-28 DATA BASE MANAGEMENT SYSTEMS AND EXPERT SYSTEMS FOR CAD, Gilles
M.E. Lafue and Tom M. Mitchell, May 1982.
[ ] LCSR-TR-29 LOCALIZATION OF POWER IN SOFTWARE SYSTEMS, Naftaly H. Minsky,
September 1982.
[ ] LCSR-TR-30 THE CRITTER SYSTEM: ANALYZING DIGITAL CIRCUITS BY PROPAGATING
BEHAVIORS AND SPECIFICATIONS, Van E. Kelly and Lou
I. Steinberg, June 1982.
[ ] LRP-TR-14 A FLEXIBLE STRUCTURE FOR KNOWLEDGE, N.S. Sridharan, September
1982.
[ ] CTA-TR-4 DECIDABILITY OF THE PURELY EXISTENTIAL FRAGMENT OF THE THEORY
OF TERM ALGEBRAS, K.N. Venkataraman, October 1981.
-------
∂20-Sep-82 1345 Gene Golub <CSD.GOLUB at SU-SCORE> Honors
Date: 20 Sep 1982 1341-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Honors
To: su-bboards at SU-SCORE
cc: faculty at SU-SCORE
Congratulations are due to several of our faculty.
Brian Reid is the winner of the Grace Hopper Award for this year.
Doug Lenat was the co-winner of the Tioga Prize for the best paper
in '82 at the National Conference for AI.
Mike Genesereth received an honorable mention at the same meeting.
It's wonderful to see our young faculty developing so well.
GENE GOLUB
-------
∂20-Sep-82 1558 Gene Golub <CSD.GOLUB at SU-SCORE> Faculty meeting
Date: 20 Sep 1982 1531-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Faculty meeting
To: faculty at SU-SCORE
cc: csd.aglito at SU-SCORE, csd.mwalker at SU-SCORE
There will be a faculty meeting on Tuesday, Sept 28 at 1:30
in the large conference room---MJH 146. Please let me know if you have
any agenda items. GENE
PS Our first lunch will be on October 5.
-------
∂21-Sep-82 0733 PWEGNER at BBNA Re: n queens
Date: 21 Sep 1982 1033-EDT
Sender: PWEGNER at BBNA
Subject: Re: n queens
From: PWEGNER at BBNA
To: JMC at SU-AI
Message-ID: <[BBNA]21-Sep-82 10:33:25.PWEGNER>
In-Reply-To: Your message of 20 Sep 1982 1355-PDT
I'm not sure what you mean by terminal positions.
There are 92 solutions for the 8 queens problem which reduce to 12
under symmetry.
How do your terminal positions relate to these?
We have some results on backtrack reductions under alternative choice
of backtrack column, but your methods are clearly more powerful.
Do you have a systematic technique for discovering and using
patterns that cannot be completed?
I talked to Les Valiant at Harvard about the complexity of the
N queens problem and he suggested looking at the complexity of
the problem of whether a partial solution canbe completed into
a complete solution.
He conjectured that this problem may be NP complete.
If so thena general method of pattern matching for partial solutions
could not be developed.
A terminal position is either a solution or a non-extendable placement
of queens. I suppose it's the same entity that you earlier reported
the reduction of from about 2000 to about 1000. I don't have
a systematic way of finding non-continuable partial solutions. I
just use the method of excluding squares that clobber what remains
of a rank or file.
∂21-Sep-82 0857 CLT SEMINAR
To: "@MTC.DIS[1,CLT]" at SU-AI
Announcing a seminar for MTC, formal reasoning and related matters.
The objective is to provide a forum for exchanging ideas
and finding out what people are currently working on.
We will meet officially Wednesdays noon to 1pm in Margaret Jacks Rm 252
(Stanford Computer Science Department).
The room has been reserved until 2pm to provide a place for additional
informal discussion for those who might wish to do so.
The proposed format is one of informal presentation of current
work, ideas, problems, etc.
Suitable topics include
formal reasoning systems (advanced proof checking, etc.)
verification,
theorem proving,
program synthesis
specification (data and program)
We are interested in theory and applications.
If you wish to be on the (electronic) mailing list or would like to
volunteer to speak contact Carolyn Talcott (CLT@SU-AI).
Please post and circulate this announcement.
FIRST MEETING: Weds. September 29, 12noon to 1pm
PLACE: Rm 252 Margaret Jacks Hall
SPEAKER: Jussi Ketonen
TOPIC: "Systematic Proof Search in a Fragment of Predicate Calculus"
A decidable fragment of predicate calculus together with a
characterisation of provable formulas in it is described.
Also plans for the quarter and any suggestions for format etc. will
be discussed.
∂21-Sep-82 1030 FFL
To: JMC, FFL
Tom Binford asks that you call him when you come in. 7-2797.
∂21-Sep-82 1118 TOB space
John
I plan to talk to Paul Armer and Golub this afternoon
about space. I would like to know what you negotiated.
Tom
∂21-Sep-82 1141 ullman@Diablo (SuNet) lunch
Date: 21 September 1982 11:39:19-PDT (Tuesday)
From: ullman at Diablo
Subject: lunch
To: jmc at sail, pratt at shasta
I'm really sorry about this, but I have to cancel lunch, because Scotty
is sick and Holly is nowhere to be found.
Sorry about Scotty, and we'll reschedule at your convenience.
∂21-Sep-82 1149 RPG Martin Griss
To: REG, JMC
Martin Griss is now on sabbatical at HP Labs. He is an ARPA contractor
and would like to obtain the ability to FTP from UTAH-20 and make
TOPS-20 tapes occasionally. Apparently ARPA has agreed that his
planned use fulfills ARPA requirements, so perhaps a guest
account on SCORE would be a appropriate thing?
-rpg-
I agree with RPG about guest account for Griss.
∂21-Sep-82 1452 ullman@Diablo (SuNet) MTC
Date: 21 September 1982 14:30:22-PDT (Tuesday)
From: ullman at Diablo
Subject: MTC
To: jmc at sail, pratt at shasta, zm at sail
I'm really sorry about this guys. How about sometime next week.
I'm free Tuesday-Friday.
∂21-Sep-82 1625 Feigenbaum at SUMEX-AIM Lisp Machine Intro
Date: 21 Sep 1982 1621-PDT
From: Feigenbaum at SUMEX-AIM
Subject: Lisp Machine Intro
To: jmc at SU-AI
Mail-from: ARPANET host SU-SCORE rcvd at 21-Sep-82 1535-PDT
Date: 21 Sep 1982 1517-PDT
From: Jay Lark <CSD.LARK at SU-SCORE>
Subject: Lisp Machine Intro
To: hpp: ;
The first intro lesson will be given tomorrow afternoon at 1PM. It will
meet in the Computer Music room on the 4th floor (Score lineprinter and
Diablo machine room). Due to the lack of available space, I may have to
limit the number of people. Priority will be given to those who will start
using the machine right away. If I have to turn people away I will
schedule other first lessons as necessary. Come prepared for lots of
notetaking.
Jay
-------
-------
∂21-Sep-82 1636 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEKS OF SEPT. 20 - 24, SEPT. 27 - OCT. 1, 1982
Date: 21 Sep 1982 1458-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEKS OF SEPT. 20 - 24, SEPT. 27 - OCT. 1, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
9/23/82 MJ352 Jeanette Schmidt
Thursday AFLB The Weizmann Institute of Science/Rehovot, Israel
1 p.m. ``Perfect Matchings in Random Hypergraphs''
9/30/82 MJ352 Eli Upfal
Thursday AFLB Israel
1 p.m. ``Efficient Schemes for Parallel Communication''
-------
∂21-Sep-82 1709 Gene Golub <CSD.GOLUB at SU-SCORE> Meeting with Quate
Date: 21 Sep 1982 1703-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Meeting with Quate
To: DEK at SU-AI, csd.ullman at SU-SCORE, JMC at SU-AI
I have set up an appointment with Quate at 2pm on Wednesday.
The meeting will be in the Conference Room next to my office.
GENE
-------
∂21-Sep-82 1756 pratt@Shasta (SuNet) Re: MTC
Date: Tuesday, 21 Sep 1982 17:54-PDT
To: ullman at Diablo
Cc: jmc at Sail, pratt at Shasta, zm at Sail
Subject: Re: MTC
In-reply-to: Your message of 21 September 1982 14:30:22-PDT (Tuesday).
From: Vaughan Pratt <pratt at Shasta>
If it were Tuesday it could be in lieu of the Tuesday faculty luncheon, which
doesn't start till the following week. Fits nicely with the faculty
meeting 1:30 pm.
-v
∂22-Sep-82 0731 Swinehart at PARC-MAXC Re:
Date: 22 Sep 1982 07:31 PDT
From: Swinehart at PARC-MAXC
Subject: Re:
In-reply-to: Your message of 21 Sep 1982 2155-PDT
To: John McCarthy <JMC at SU-AI>
cc: swinehart
I always wondered at what point announcement turned to rumor.
Yes, our version of PUB (almost vanilla TENEX) produces Press format output. It
is not entirely clear to me when our sources were last derived from the shared
sources that used conditional compilation to produce versions for different
systems -- probably earlier than 1976 -- so the sources may have substantial
incompatibilities from yours.
We first released these sources as part of the university Alto thing either in late
1980 or early 1981, but at a time when people had either given up hope or lost
interest in them. So none of the people who serve as liaisons at the various
universities picked them up from Maxc at that time. The files subsequently
drifted back off into our tape archive system. Based on a request from MIT, I
fetched them back again this week and issued a new release message to the
liaisons. (Brian Reid is officially it at Stanford, but Mark Roberts does all the
work. They're usually up on the state of Xerox-related stuff.)
It will take a bit of work with SRCCOM and the like to produce a version for,
say, SUMEX; somewhat more to make it run on TOPS-10 or the SAIL system.
Also, I never found the results of driving any of the raster printers from PUB to
be quite controllable, but if it works for you on the XGP, the Dover shouldn't
cause trouble.
Hope that helps,
Dan Swinehart
Let's make it work. Among other things, we can then get rid of the KA
and retrieve the space.
∂22-Sep-82 1108 FFL
To: JMC, FFL
Jerry Saveriano called and would like to speak with you about the ROBOTICS AGE
interview series with leaders in robotics field. 714 963 6165.
∂22-Sep-82 1813 Nilsson at SRI-AI Champagne!
Date: 22 Sep 1982 1800-PDT
From: Nilsson at SRI-AI
Subject: Champagne!
To: AIC-Associates:
Champagne Thursday, Sept. 22 at 4:00 pm in the AIC library to
celebrate John Lowrance's newly acquired PhD-ness, the Tyson's
newly acquired parent-ness and to welcome some recent new members
of the AIC, namely Lauri Karttunen and Fernando Pereira. It's a
general-purpose celebration--maybe I've even forgotten some things
we should be celebrating. -Nils
-------
∂23-Sep-82 0723 Gene Golub <CSD.GOLUB at SU-SCORE> Appointment of Tom Rindfleisch
Date: 23 Sep 1982 0719-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Appointment of Tom Rindfleisch
To: faculty at SU-SCORE
cc: su-bboards at SU-SCORE
Message from Ed Feigenbaum
-------------------------------------------------------------
Dear HPP Staff, Students, and other colleagues,
It is a very great professional and personal pleasure for me to
announce the appointment of Senior Research Associate Tom Rindfleisch
to the new position of Director of the Heuristic Programming Project.
Tom leaves the job of Director of the SUMEX Project and is replaced
by Ed Pattermann (from Lawrence Livermore Lab).
Tom has been Director of SUMEX since its inception in 1974, and has
built SUMEX into a model national research computing resource. He has
earned the reputation of being a remarkably broad-spectrum technology
administrator ("from the JYSYSs to the Congress").
These talents he will apply to the leadership of the HPP. Buchanan,
I, and the other HPP faculty Principal Investigators will be able to
devote much more time to guiding and doing research, and supervising
student research.
In addition to his Directorship, Tom will also be reintegrating
himself into the research life. He is currently a member of the new
project team working on Advanced AI Architectures.
Let us all do more than just welcome Tom warmly. Let's HELP him with
the difficult problems that the growth of the HPP has engendered. As
the saying goes, let's each try to be part of the solution of a
problem and not the problem itself.
As a practical matter, from now on you probably will get a quicker
and more cogent response to any HPP request/problem if you address
your electronic mail to "Rindfleisch@SUMEX" rather than "Feigenbaum"
or "Buchanan" (says Ed with gratitude and relief).
With best wishes to Tom,
Ed Feigenbaum
-------
-------
∂23-Sep-82 0858 Chappell at SRI-AI TINLUNCH
Date: 23 Sep 1982 0857-PDT
From: Chappell at SRI-AI
Subject: TINLUNCH
To: TINlunchers:
cc: chappell
From: Paul Martin
The TINLUNCH meeting for September 23, 1982 will be held in conference
room EJ242 at lunchtime. The paper that will be discussed is
MUTUAL KNOWLEDGE AND RELEVANCE IN
THEORIES OF COMPREHENSION
by
Dan Sperber and Deirdre Wilson
The authors will not be present. Lauri Karttunen will be presenting a
paper at next week's TINLUNCH. Copies of next week's presentation
will be on top of Elsie Chappell's file cabinet (EJ257).
-------
∂24-Sep-82 1311 CLT
we should go shopping around 6
∂24-Sep-82 1315 CLT*
donneley
∂24-Sep-82 1510 MLB sail accounts
To: JMC
CC: ME, RWG, MLB
Symbolics would probably be interested in paying my (and RWG's if he
wishes) SAIL charges. Could you please have someone contact me
with the rates and procedure for payment?
Marc Le Brun
Symbolics
845 Page Mill Rd
Palo Alto CA
94304
494-8081
∂24-Sep-82 1645 Chappell at SRI-AI September 30, TINLUNCH
Date: 24 Sep 1982 1644-PDT
From: Chappell at SRI-AI
Subject: September 30, TINLUNCH
To: TINlunchers:
cc: chappell
Copies of next week's paper, AN APPROACH TO DISCOURSE ANALYSIS, by
Lauri Carlson are on Elsie Chappell file cabinet EJ251. The paper
will be presented by Lauri Karttunen on September 30, 1982.
-------
∂24-Sep-82 1754 Nilsson at SRI-AI AAAI Program Chairman
Date: 24 Sep 1982 1748-PDT
From: Nilsson at SRI-AI
Subject: AAAI Program Chairman
To: Amarel at RUTGERS, Bobrow at PARC, Buchanan at SUMEX-AIM,
To: Feldman at SUMEX-AIM, Lerman at SRI-KL,
To: csd.genesereth at SCORE, Grosz at SRI-AI, Hart at SRI-KL,
To: jmc at SU-AI, Mcdermott at YALE, Minsky at MIT-AI,
To: Nilsson at SRI-AI, Reddy at CMUB, Stan at SRI-AI,
To: gjs at MIT-AI, Tenenbaum at SRI-KL, Walker at SRI-AI,
To: dwaltz at BBNG, Bonnie.Upenn at UDEL,
To: aaai-office at SUMEX-AIM
Michael Genesereth has accepted our request to be the Program
Chairman for AAAI-83. Barbara Grosz, the Program Chairwoman for
AAAI-84, has agreed to provide major assistance. I think we are
very fortunate indeed to have such capable people helping to
shape the program. More news about the program and the program
committee will be forthcoming during the next few weeks. One of
our first tasks will be to produce a call for papers.
Lou Robinson has been very busy investigating possible AAAI-83
program sites. A recommendation will be forthcoming in a day or
so.
--Nils Nilsson
-------
∂24-Sep-82 2105 Gene Golub <CSD.GOLUB at SU-SCORE> Proposed Agenda
Date: 24 Sep 1982 1748-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Proposed Agenda
To: faculty at SU-SCORE
cc: mwalker at SU-SCORE, armer at SU-SCORE, bscott at SU-SCORE,
gorin at SU-SCORE
Here is the proposed agenda for the faculty meeting on Tuesday, Sept 28.
The meeting begins at 1:30 in the Youth Center Conference room. GENE
Proposed
AGENDA FOR FACULTY MEETING
SEPT. 28, l982
ITEM TIME
(MINUTES)
1. PRESENTATION OF DEGREE
CANDIDATES WALKER 5
2. COMMITTEE ASSIGNMENTS GOLUB 10
3. SPACE ARMER 15
4. BUDGET SCOTT 10
5. COMPUTER FACILITIES GORIN 15
6. ADMISSIONS REPORT BUCHANAN 10
7. PROPOSAL FOR NEW CS:CE
PROGRAM ULLMAN 10
8. PROPOSAL FOR INDUSTRIAL
PROFESSORSHIP MC CARTHY 10
9. APPOINTMENT GOLUB 5
10. NEW BUSINESS AND
GENERAL DISCUSSION ....
-------
∂24-Sep-82 2230 CLT
Gunther, Susie and Dan 56-293-7498(SanJose) 497-7149(susie work)
475 South 12th St. SJ 95112
280 south to 10-11th street exit, left on 11th, rt on E.William left on 12th,
∂25-Sep-82 0004 Kanerva at SUMEX-AIM
Date: 25 Sep 1982 0004-PDT
From: Kanerva at SUMEX-AIM
To: McCarthy at SU-AI
Subject: The ax has fallen
Just this week you asked me how Context was doing, and I said
"fine." We were now editing and printing with the extended character
set, and in general the system was in good shape. Well, I was wrong.
Ed Shaw told us today that he will go to the Vice Presidents next
Tuesday with the news that he is going to sell the Context machine
as soon as things can be wrapped up, which will take a couple of months.
The machine was not generating enough revenue.
I hate to see one of the best things in CIT going away. I think
it is a big mistake.
I want to thank you for your interest all along. - Pentti
-------
∂25-Sep-82 0034 Kanerva at SUMEX-AIM
Date: 25 Sep 1982 0004-PDT
From: Kanerva at SUMEX-AIM
To: McCarthy at SU-AI
Subject: The ax has fallen
Just this week you asked me how Context was doing, and I said
"fine." We were now editing and printing with the extended character
set, and in general the system was in good shape. Well, I was wrong.
Ed Shaw told us today that he will go to the Vice Presidents next
Tuesday with the news that he is going to sell the Context machine
as soon as things can be wrapped up, which will take a couple of months.
The machine was not generating enough revenue.
I hate to see one of the best things in CIT going away. I think
it is a big mistake.
I want to thank you for your interest all along. - Pentti
-------
∂25-Sep-82 1157 ME HOT up
∂25-Sep-82 0046 JMC on TTY163 0046 via SU-SCORE
HOT is also broken.
ME - Seems to have fixed itself. Perhaps you just came upon it when the
wires were quiet.
∂25-Sep-82 1315 CLT*
donneley
∂26-Sep-82 1150 T. C. Rindfleisch <Rindfleisch at SUMEX-AIM> Re: Lisp machine
Date: 26 Sep 1982 1148-PDT
From: T. C. Rindfleisch <Rindfleisch at SUMEX-AIM>
Subject: Re: Lisp machine
To: JMC at SU-AI
cc: Rindfleisch at SUMEX-AIM
In-Reply-To: Your message of 26-Sep-82 0121-PDT
I'll be interested in your reactions to the Symbolics machine, John.
We're all set to hook the machine up to the VAX for general services.
However, Symbolics wants us to sign a VERY complex license agreement for
access to the Chaosnet software. It is apparently patterned after an
IBM software license and involves so many legal restrictions on Stanford
that I don't think we can sign it at the dept level. It goes far beyond
simply committing us to safeguard the code against unauthorized copying.
The license is going through purchasing/legal review but I'm trying to
reach an interim agreement with Symbolics so we can proceed.
We're also going to be moving the displays down to the 2nd floor for a
better working environment. Hope things don't crash too often so people
have to hike to the 4th floor to reboot...
Tom R.
-------
∂26-Sep-82 1315 CLT*
donneley
∂26-Sep-82 1440 Gene Golub <CSD.GOLUB at SU-SCORE> Ratings of CS departments
Date: 26 Sep 1982 1433-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Ratings of CS departments
To: faculty at SU-SCORE
cc: su-bboards at SU-SCORE, quate at SU-SCORE
A national survey of graduate education has just been completed
and here are the ratings of the leading CS departments.
STANFORD 5.0
MIT
-------
∂26-Sep-82 1446 Gene Golub <CSD.GOLUB at SU-SCORE> Ratings of CS departments
Date: 26 Sep 1982 1441-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Ratings of CS departments
To: faculty at SU-SCORE
cc: su-bboards at SU-SCORE, quate at SU-SCORE, na.pool at SU-SCORE,
na.austin at SU-SCORE, na.barnes at SU-SCORE, na.cybenko at SU-SCORE
A national survey of graduate education has just been completed
and here are the ratings of the leading CS departments.
STANFORD 5.0
MIT 4.9
CMU 4.8
BERKELEY 4.5
CORNELL 4.3
UCLA/ILL 3.8
YALE 3.5
No other mathematical science department received a rating of 5!
I think we should be pleased by this but we should also recognize
that there are weaknesses in the department which we should strive
to correct.
GENE
-------
∂26-Sep-82 1549 Nilsson at SRI-AI AAAI-83 Proposed Site and Dates
Date: 26 Sep 1982 1544-PDT
From: Nilsson at SRI-AI
Subject: AAAI-83 Proposed Site and Dates
To: Amarel at RUTGERS, Bobrow at PARC, Buchanan at SUMEX-AIM,
To: Feldman at SUMEX-AIM, Lerman at SRI-KL,
To: csd.genesereth at SCORE, Grosz at SRI-AI, Hart at SRI-KL,
To: jmc at SU-AI, Mcdermott at YALE, Minsky at MIT-AI,
To: Nilsson at SRI-AI, Reddy at CMUB, Stan at SRI-AI,
To: gjs at MIT-AI, Tenenbaum at SRI-KL, Walker at SRI-AI,
To: dwaltz at BBNG, Bonnie.Upenn at UDEL,
To: aaai-office at SUMEX-AIM
RECOMMENDATION FOR THE AAAI 1983 NATIONAL CONFERENCE
Lou Robinson recently spent a week in Maryland and Washington, D.C.
checking out potential sites for next year's AAAI conference. In two
lengthy reports to me -- these are available if you would like to see
them -- he presents a cogent argument for holding AAAI-83 in the
Washington Hilton Hotel. Basically, he feels that the facilities
-- including housing and auditoriums -- are inadequate at the
University of Maryland for a conference of the size that we expect.
By contrast, the Hilton, he feels, presents a much more unified,
cohesive conference site; the Hilton will give us decent room rates
and a potential for reduced rates for students willing to camp three
or four to a room; all conference areas would be on the same floor in
spacious halls and meeting rooms; the Washington Hilton serves as the
main destination for all airport transportation; the hotel is
centrally located, near a Metro stop and good, inexpensive
restaurants, etc. etc.
We would hope that we will still be able to enlist the help of the
University of Maryland as a co-host. U. of Maryland, of course, has
a large and excellent teaching and research program in AI, and their
help and guidance will be invaluable. In addition, we hope to
interest George Washington University in helping. People there have
indicated that they could make dormitory rooms available for students
and others attending the conference. Transportation between GW and
the Hilton is easy on the Metro.
The main adjustment we will have to make in going to the Washington
Hilton, assuming we can reach agreement on Lou's proposal, is to move
the original conference dates -- August 15 to 19 -- later a week.
The Hilton will not be available that week. It will be available to
us the week of August 22 to 26. Some people see this as an asset
since it will give us an open week between IJCAI-83 -- August 8 to 12
-- and AAAI-83. That may not be too bad an idea.
We will be receiving a formal bid for the conference from the
Washington Hilton next week. Before we commit ourselves to anything
I would very much like to get your reactions to Lou's proposal.
Please cc Lou at AAAI-Office@sumex. (I will be out of the country
from Sept. 29-Oct. 11.) I might say that I am quite in favor of
Lou's proposal (assuming details can be worked out satisfactorily)
and recommend that we pursue this approach.
--Nils Nilsson
-------
Nils:
What you say about the merits of the Washington Hilton seems
reasonable. No doubt whatever those in favor of the University of
Maryland say will also seem reasonable. I would favor your deciding
the matter yourself, or - even better - delegating the matter to the
General Chairman of the conference. I cannot see that the merits
of the very best decision in the matter over a less carefully
pondered decision are worth the diversion of thought from the
formulation of general issues of artificial intelligence that the
AAAI might concern itself with and their presentation to the
Committee and the membership. I am very concerned about getting
everyone tied up in matters that can be best settled by one or
a few people. I hope that other Committee members will also favor
delegating the required authority. - John McCarthy
∂26-Sep-82 1722 Nilsson at SRI-AI (Response to message)
Date: 26 Sep 1982 1721-PDT
From: Nilsson at SRI-AI
Subject: (Response to message)
To: JMC at SU-AI
cc: NILSSON
Thanks, for your support John. There are some people on the council
who have let me know that they want to be consulted on major matters.
My goal is to make a decision swiftly on the Hilton. -Nils
-------
∂27-Sep-82 0900 JMC*
John Cocke
∂27-Sep-82 1058 FFL
To: JMC, FFL
Steve Ballagar of Decision Focus wishes to confirm meeting for 9 a.m
Wednesday. 960 3450.
∂27-Sep-82 1200 Robert Schreiber <CSD.SCHREIBER at SU-SCORE> House for rent
Date: 27 Sep 1982 1154-PDT
From: Robert Schreiber <CSD.SCHREIBER at SU-SCORE>
Subject: House for rent
To: csd.faculty at SU-SCORE
Do you have a visitor for the Winter and Spring quarters who needs
housing. We have a big (4 BR) house that is perfect for
a family with children. It is available Jan 1 through July 15.
Rob Schreiber
-------
∂27-Sep-82 1315 CLT*
donneley
∂27-Sep-82 1410 Bobrow at PARC-MAXC Re: AAAI-83 Proposed Site and Dates
Date: 27 Sep 1982 13:09 PDT
From: Bobrow at PARC-MAXC
Subject: Re: AAAI-83 Proposed Site and Dates
In-reply-to: Nilsson's message of 26 Sep 1982 1544-PDT
To: Nilsson at SRI-AI
cc: Amarel at RUTGERS, Bobrow, Buchanan at SUMEX-AIM, Feldman at
SUMEX-AIM, Lerman at SRI-KL, csd.genesereth at SCORE, Grosz at SRI-AI, Hart
at SRI-KL, jmc at SU-AI, Mcdermott at YALE, Minsky at MIT-AI, Reddy at
CMUB, Stan at SRI-AI, gjs at MIT-AI, Tenenbaum at SRI-KL, Walker at SRI-AI,
dwaltz at BBNG, Bonnie.Upenn at UDEL, aaai-office at SUMEX-AIM
For all the reasons stated at the metting, I am strongly in favor of Lou's
proposal. It also means that people going to the European conference need not
return instantly to make this meeting.
With that endorsement, I am willing to go along with John McCarthy's
suggestion and let you and Lou, and any small committee you select come up
with the final decision.
danny
∂27-Sep-82 1549 Hart at SRI-KL Re: AAAI-83 Proposed Site and Dates
Date: 27 Sep 1982 1230-PDT
From: Hart at SRI-KL
Subject: Re: AAAI-83 Proposed Site and Dates
To: Nilsson at SRI-AI, Amarel at RUTGERS, Bobrow at PARC-MAXC,
Buchanan at SUMEX-AIM, Feldman at SUMEX-AIM, Lerman at SRI-KL,
csd.genesereth at SU-SCORE, Grosz at SRI-AI, jmc at SU-AI,
Mcdermott at YALE, Minsky at MIT-AI, Reddy at CMU-10B, Stan at SRI-AI,
gjs at MIT-AI, Tenenbaum at SRI-KL, Walker at SRI-AI,
dwaltz at BBNG, Bonnie.Upenn at UDEL, aaai-office at SUMEX-AIM
In-Reply-To: Your message of 26-Sep-82 1544-PDT
McCarthy is right...
-------
∂27-Sep-82 1638 RPG Postponement
Lew hasn't been able to finish up the stuff he needed for
his talk with you tomorrow. Since I need to go to LLL tomorrow
as well, how about postponing our discussion until either later this week or
next tuesday?
-rpg-
∂27-Sep-82 1837 Jay Lark <CSD.LARK at SU-SCORE> Lisp Machine downtime
Date: 27 Sep 1982 1834-PDT
From: Jay Lark <CSD.LARK at SU-SCORE>
Subject: Lisp Machine downtime
To: csd.genesereth at SU-SCORE, rpg at SU-AI, jmc at SU-AI
cc: yeager at SUMEX-AIM, cschmidt at SUMEX-AIM
I am planning to take the Lisp Machine down on Wednesday afternoon for about
1.5 hours in order to transfer some files to the local file system. I have
not scheduled any particular time yet; I'd like to know if there are any
conflicts with any of you. (Chris, Tom R. thought you might like to come
along with me to Fairchild and see how its done.)
Jay
-------
I won't be here then. However, I will be quite unhappy if you lose the
files I have in the machine in the course of this transfer.
∂27-Sep-82 2123 CLT REMINDER - MTC etc seminar
To: "@MTC.DIS[1,CLT]" at SU-AI
FIRST MEETING: Weds. September 29, 12noon to 1pm
PLACE: Rm 252 Margaret Jacks Hall
SPEAKER: Jussi Ketonen
TOPIC: "Systematic Proof Search in a Fragment of Predicate Calculus"
A decidable fragment of predicate calculus together with a
characterisation of provable formulas in it is described.
Also plans for the quarter and any suggestions for format etc. will
be discussed.
∂27-Sep-82 2150 Grosz at SRI-AI Re: AAAI-83 Proposed Site and Dates
Date: 27 Sep 1982 2149-PDT
From: Grosz at SRI-AI
Subject: Re: AAAI-83 Proposed Site and Dates
To: Nilsson at SRI-AI, Amarel at RUTGERS, Bobrow at PARC,
To: Buchanan at SUMEX-AIM, Feldman at SUMEX-AIM,
To: Lerman at SRI-KL, csd.genesereth at SCORE, Grosz at SRI-AI,
To: Hart at SRI-KL, jmc at SU-AI, Mcdermott at YALE,
To: Minsky at MIT-AI, Nilsson at SRI-AI, Reddy at CMUB,
To: Stan at SRI-AI, gjs at MIT-AI, Tenenbaum at SRI-KL,
To: Walker at SRI-AI, dwaltz at BBNG, Bonnie.Upenn at UDEL,
To: aaai-office at SUMEX-AIM
I am in agreement with the move to the Hilton, and with John's
sentiments about who should take responsibility for the rest of
the arrangements.
Barbara
-------
∂28-Sep-82 0850 Carolyn Tajnai <CSD.TAJNAI at SU-SCORE> Faculty Meeting Today
Date: 28 Sep 1982 0842-PDT
From: Carolyn Tajnai <CSD.TAJNAI at SU-SCORE>
Subject: Faculty Meeting Today
To: CSD-Faculty: ;
The Faculty meeting will be held today, Tuesday, September 28,
1:30 p.m., in the Youth Center Conference Room, Jacks 146.
-------
∂28-Sep-82 1049 Gene Golub <CSD.GOLUB at SU-SCORE> Department Reception
Date: 28 Sep 1982 1040-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Department Reception
To: faculty at SU-SCORE
cc: su-bboards at SU-SCORE
There will be a general department reception on Thursday at 4:30
in the plaza next to the basement in Margaret Jacks Hall.
Food and drink will be served.
The Forsythe Awards for student teaching will be presented at that
time.
Hope you can come, GENE
-------
∂28-Sep-82 1246 Nilsson at SRI-AI AAAI Staff Addition
Date: 28 Sep 1982 1231-PDT
From: Nilsson at SRI-AI
Subject: AAAI Staff Addition
To: Amarel at RUTGERS, Bobrow at PARC, Buchanan at SUMEX-AIM,
To: Feldman at SUMEX-AIM, Lerman at SRI-KL,
To: csd.genesereth at SCORE, Grosz at SRI-AI, Hart at SRI-KL,
To: jmc at SU-AI, Mcdermott at YALE, Minsky at MIT-AI,
To: Nilsson at SRI-AI, Reddy at CMUB, Stan at SRI-AI,
To: gjs at MIT-AI, Tenenbaum at SRI-KL, Walker at SRI-AI,
To: dwaltz at BBNG, Bonnie.Upenn at UDEL,
To: aaai-office at SUMEX-AIM
As mentioned at the AAAI Executive Committee meeting in Pittsburgh
last month, AAAI office operations have now reached the point where
Lou Robinson needs some additional help. (He still wants to limit
his ordinary AAAI activities to half of his time.) Here is just one
example of some of the extra things we will be doing this year: The
details of AAAI Conference Program preparations -- formerly handled
by the conference Program Chairman and his/her staff -- are about to
be assumed as an ongoing supporting function of the AAAI office:
These include keeping track of papers submitted, accepted and
rejected authors, paper submissions to be included into conference
proceedings, etc.
(Incidentally, with Michael Genesereth's acceptance of the
role of AAAI-83 Program Chairman, the '83 Call for Papers
will be going out quite soon.)
Because of these and other expanding AAAI activities (including the
AI Magazine, membership, conference size, tutorial interest,
exhibitor interest, AI Magazine advertising interest) I have
concluded (with Raj Reddy and Don Walker's concurrence) that Lou must
be provided with an assistant to help him run things and to tie them
down before they begin to get out of hand. With my support, Lou has
been searching for an assistant and has come up with what I consider
to be an outstanding choice, Claudia Mazzetti. Some of you may know
Claudia. She has been working at SRI and has, among other things,
participated in SRI's Business Information Program where she helped
compile an extensive report on AI. She knows the field quite well
through her work and through her friendship with the late John
Gaschnig. She has a strong programming and administrative
background, and would, in my opinion, be a noteworthy, necessary
addition to the AAAI office operations and a good complement to Lou
Robinson. We have offered Claudia a position as an administrative
assistant to Lou (on a trial basis for a period of a year), and I am
happy to say that Claudia has accepted our offer. In a year we
should be able to realistically assess staffing needs in relation to
the effectiveness of continuing, on-going AAAI functions.
It goes without saying, that the Finance Committee and I -- with
Lou's help -- will soon be presenting you with a complete 1983
budget proposal which will include staffing considerations. In
my mind additional staffing -- which because of our bright financial
picture is affordable -- is essential if AAAI is to continue to evolve
professionally and successfuly as the main AI association in this
country.
Nils Nilsson
-------
-------
∂28-Sep-82 1301 Jay Lark <CSD.LARK at SU-SCORE>
Date: 28 Sep 1982 1258-PDT
From: Jay Lark <CSD.LARK at SU-SCORE>
To: JMC at SU-AI
In-Reply-To: Your message of 27-Sep-82 1838-PDT
I don't think there is any possibility of anything happening to your files
barring a major physical accident, but I will try to be careful.
Jay
-------
∂28-Sep-82 1408 Raj.Reddy at CMU-10A AAAI-83 Proposed Site and Dates
Date: 28 September 1982 1640-EDT (Tuesday)
From: Raj.Reddy at CMU-10A
To: Nilsson at SRI-AI, Amarel at Rutgers, Bobrow at PARC-MAXC,
Buchanan at SUMEX-AIM, Feldman at SUMEX-AIM, Lerman at SRI-KL,
csd.genesereth at SU-SCORE, Grosz at SRI-AI, Hart at SRI-KL,
jmc at SU-AI, Mcdermott at YALE, Minsky at MIT-AI, Stan at SRI-AI,
gjs at MIT-AI, Tenenbaum at SRI-KL, Walker at SRI-AI, dwaltz at BBNG,
Bonnie.upenn at UDel-Relay, aaai-office at SUMEX-AIM
Subject: AAAI-83 Proposed Site and Dates
CC: Raj.Reddy at CMU-10A
Message-Id: <28Sep82 164029 RR29@CMU-10A>
In general, the intention of the AAAI constitution was that the President would
propose sites, dates, and chairmen of committees for the approval, advice, and
consent of the Executive Council. I would in general like to see the
President of AAAI sending information of the kind that Nils has done about
program chairmen and the sites and dates with a specific recommendation.
If he doesn't receive a large number of negative comments within a week, he
should simply go ahead and implement it. I don't think a small committee is
necessary.
In summary, I agree with John McCarthy's suggestion. I believe the mechanism
already exists.
Raj
∂28-Sep-82 1414 Nilsson at SRI-AI Re: AAAI Staff Addition
Date: 28 Sep 1982 1400-PDT
From: Nilsson at SRI-AI
Subject: Re: AAAI Staff Addition
To: Bobrow at PARC-MAXC, Nilsson at SRI-AI
cc: Amarel at RUTGERS, Buchanan at SUMEX-AIM,
cc: Feldman at SUMEX-AIM, Lerman at SRI-KL,
cc: csd.genesereth at SCORE, Grosz at SRI-AI, Hart at SRI-KL,
cc: jmc at SU-AI, Mcdermott at YALE, Minsky at MIT-AI,
cc: Reddy at CMUB, Stan at SRI-AI, gjs at MIT-AI,
cc: Tenenbaum at SRI-KL, Walker at SRI-AI, dwaltz at BBNG,
cc: Bonnie.Upenn at UDEL, aaai-office at SUMEX-AIM, NILSSON
What you surmise is exactly the case, Danny. We didn't want to miss
being able to hire Claudia. Preliminary (but nevertheless precise)
budget information shows that hiring her is well within our means;
we just don't have all the figures in a form that is ready yet to
send out as an official budget. (Lou has been busy scouting around
Wash. D.C. talking about conference sites.) --Nils
-------
∂28-Sep-82 1432 FFL Steve Garrager called about change in location of meeting tomorrow.
To: JMC, FFL
To be held in Bldg 13 at Multi Media Video, 3350 Scott Blvd., Santa Clara,
Bldg. 13.
Directions: Go south on Central Expressway to north exit on Lawrence Express
way. Go one block to Arques and turn right on Arques. Go south across
Oakmeade and 3350 will be on the right.
If you have questions, Steve can be reached at 960 3450.
Meeting at 9 a.m.
∂28-Sep-82 2040 JJW CMU MacLisp summaries
To: JMC, FFL
I got a message today from Dave Touretzky at CMU, who said that the
check for the MacLisp summaries for CS 206 just arrived there. The
delay seems to have been caused by the Stanford purchasing office.
Hopefully this means we'll have the manuals in another week or two.
∂28-Sep-82 2358 Jerry E. Pournelle <POURNE at MIT-MC> faire
Date: 29 September 1982 02:55-EDT
From: Jerry E. Pournelle <POURNE at MIT-MC>
Subject: faire
To: jmc at SU-AI
We are having a conference on Pascal extensionsn and ot her
stuff of interest at the Faire this spring.
Love to have youy come. We think we can gget Wirth to show up.
It might be fu n to discuss language extensions and philosophy
with bright people...
reply?"
∂29-Sep-82 0838 AMAREL at RUTGERS Re: AAAI-83 Proposed Site and Dates
Date: 29 Sep 1982 1136-EDT
From: AMAREL at RUTGERS
Subject: Re: AAAI-83 Proposed Site and Dates
To: Nilsson at SRI-AI, Bobrow at PARC-MAXC, Buchanan at SUMEX-AIM,
Feldman at SUMEX-AIM, Lerman at SRI-KL, csd.genesereth at SU-SCORE,
Grosz at SRI-AI, Hart at SRI-KL, jmc at SU-AI, Mcdermott at YALE,
Minsky at MIT-AI, Reddy at CMU-10B, Stan at SRI-AI, gjs at MIT-AI,
Tenenbaum at SRI-KL, Walker at SRI-AI, dwaltz at BBNG,
Bonnie.Upenn at UDEL-RELAY, aaai-office at SUMEX-AIM
cc: AMAREL at RUTGERS
In-Reply-To: Your message of 26-Sep-82 1844-EDT
Lou's proposal looks fine to me. The date change would facilitate
arrangements for those who plan to attend IJCAI-83 in Karlsruhe.
I believe it is reasonable for the AAAI President to involve the Exec in
matters such as selection of program chair, site, and dates for the confe
rence - as Nils has done. The detailed work, of course, should involve the
conference committee only. It seems to me that there is no need for an
additional committee - as Raj points out.
Saul
-------
∂29-Sep-82 0839 KAHN at USC-ISI
Date: 29 Sep 1982 0834-PDT
Sender: KAHN at USC-ISI
From: KAHN at USC-ISI
To: JMC at SU-AI
Cc: kahn at USC-ISI, RPG at SU-AI, guy.steele at CMU-10A
Message-ID: <[USC-ISI]29-Sep-82 08:34:27.KAHN>
In-Reply-To: Your message of 27 Sep 1982 1607-PDT
John,
I certainly like to see the convergence of the various lisp
efforts and guy's departure will be a setback along those lines.
I know scott fahlman has been heavily involed at CMU also, but
its not clear to me what the relative roles that scott and guy
have been on common lisp.
Id like to discuss your suggestion with the folks at CMU first to
get their reactions. As you may know, the commmon lisp effort at
CMU is not really a separate program, although we do pay for most
of the expenses as part of other projects there. Im not sure how
CMU manages it though.
Another thought. We really need to depend on the institution to
carry out the work, since people will continue to come and go.
This could also apply to dick gabriel or anyone else we might
choose to get involved.
If the effort were to completely die with guy's departure from
CMU, we clearly would want to do something about saving it. This
is something Id like to ascertain.
Bob
∂29-Sep-82 0955 FFL
To: JMC, JJW, FFL
∂28-Sep-82 2040 JJW CMU MacLisp summaries
To: JMC, FFL
I got a message today from Dave Touretzky at CMU, who said that the
check for the MacLisp summaries for CS 206 just arrived there. The
delay seems to have been caused by the Stanford purchasing office.
Hopefully this means we'll have the manuals in another week or two.
I understand from Betty Scott that Purchasing has been inundated as a
result of the strike. Fran
∂29-Sep-82 1110 Aaai-Office at SUMEX-AIM Marvin's Reply
Date: 29 Sep 1982 1109-PDT
From: Aaai-Office at SUMEX-AIM
Subject: Marvin's Reply
To: AAAI-DISTRIB:
Mail-from: ARPANET host MIT-MC rcvd at 26-Sep-82 2051-PDT
Date: 26 Sep 1982 2341-EDT
From: Marvin Minsky <MINSKY at MIT-OZ at MIT-MC>
Subject: AAAI
To: AAAI-office at SUMEX-AIM
cc: minsky at MIT-OZ at MIT-MC
Washington Hilton sounds fine to me.
-------
-------
∂29-Sep-82 1315 CLT*
donneley
∂29-Sep-82 1329 FFL Call from Doris at Com. for Concerned Scientists
To: JMC, FFL
Anatole Scharansky is on hunger strike now because the authorities have
started confiscating all of his mail, personal and otherwise. The Com
is sending cables to Soviet suthorities protesting this and would like
to know if you will endorse the communication. 212 695 2560. Time is
important.
Please cal the committee for me 212 695-2560 and tell them I endorse.
∂29-Sep-82 1355 GOGUEN at SRI-AI
Date: 29 Sep 1982 1342-PDT
From: GOGUEN at SRI-AI
To: horning at PARC-MAXC, donahue at PARC-MAXC, clt at SU-AI, warren at SRI-AI,
pereira at SRI-AI, kp.hp-labs at UDEL-RELAY, jmc at SU-AI
Talk to be given October 6 1982 at 2PM at SRI, Rm. EL381, Computer Science Lab
Universal Realization and Persistent Interconnection of Abstract Modules
by J. A. Goguen and J. Meseguer
In the so-called Parnas/Dijkstra methodology, and in particular in SPECIAL,
an abstract module has a user interface consisting of procedures that can
produce externally visible values and/or alter hidden internal states. We
show that an abstract form (called universal realization) of the classical
minimal state realization theorem for automata generalizes to these abstract
modules. Such a minimal realization uses the smallest possible amount of
storage in its computations, and corresponds to what what has been called a
"final algebra" in the abstract data type literature; however, examples like
"hashcons" in LISP show that such a realization does not always correspond to
a pragmatically useful implementation. We also consider the role of "initial
algebra" realizations, and show that they are appropriate for "abstract data
types," the special case where there are no internal states. Our theoretical
framework for this work involves specification by sets of conditional
algebraic equations. We also prove a very general result about the
consistency of systems of interconnected abstract modules; this result
implies, for example, that the correct use of persistent parameterized
specifications cannot lead to inconsistencies. In addition, we give simple
equivalent syntactic and semantic characterizations of the notion of
"persistence" used in this result.
-------
∂29-Sep-82 1726 Nancy Dorio <CSD.DORIO at SU-SCORE> COLLOQUIUM NOTICE WEEK OF OCTOBER 4 - 8, 1982
Date: 29 Sep 1982 1542-PDT
From: Nancy Dorio <CSD.DORIO at SU-SCORE>
Subject: COLLOQUIUM NOTICE WEEK OF OCTOBER 4 - 8, 1982
To: colloq: ;
Stanford-Phone: (415) 497-2273
Date Place Person
Day Event From
Time Title
-------------------------------------------------------------------------------
10/4/82 Math 380C Robert Scheid
Monday Numerical Analysis Jet Propulsion Laboratory, Pasadena
4:15 p.m. Seminar ``The Accurate Numerical Solution of Highly
Oscillatory Ordinary Differential Equations''
10/5/82 MJ352 Mr.Tom Rindfleisch
Tuesday Medical Technology Stanford University
2:30 p.m. Research Seminar ``The SUMEX Computer Project - A Shared Resource
for Artificial Intelligence in Biomedicine''
10/5/82 MJ352 Jim Brinkley
Tuesday Medical Computing Stanford University
1:30 p.m. Journal Club ``Recent Articles of Interest''
10/5/82 Jordan 040 Mr. Richard Watson
Tuesday Computer Science Lawrence Livermore Laboratory
4:15 p.m. Colloquium ``Experience in Design and Implementation of an
Integrated Network and Distributed Operating
System Architecture''
10/7/82 MJ352 Don Knuth
Thursday AFLB Stanford University
12:30 p.m ``On Optimum Caching''
-------
∂30-Sep-82 0903 Chappell at SRI-AI TINLUNCH
Date: 30 Sep 1982 0902-PDT
From: Chappell at SRI-AI
Subject: TINLUNCH
To: TINlunchers:
cc: chappell
From: Lauri Karttunen
The TINLUNCH meeting for September 30, 1982 will be held in conference
room EK242 at lunchtime. The paper that will be discussed is
AN APPROACH TO DISCOURSE ANALYSIS
by
Lauri Carlson
The author will not be present. Kurt Konolige will be presenting next
week's TINLUNCH on Friday, October 8, at lunchtime. Papers for this
TINLUNCH are on Elsie Chappell's file cabinet (EJ251). This paper
can also be found in AAAI-82 PROCEEDINGS OF THE NATIONAL CONFERENCE ON
ARTIFICIAL INTELLIGENCE, page 418-420.
-------
∂30-Sep-82 0937 Sharon.Burks at CMU-10A Recommendation for Guy Steele
Date: 30 September 1982 1228-EDT (Thursday)
From: Sharon.Burks at CMU-10A
To: mccarthy at su-ai
Subject: Recommendation for Guy Steele
Message-Id: <30Sep82 122846 SB40@CMU-10A>
Nico would like very much to have your recommendation regarding Guy Steele's
reappointment to Assistant Professor. If you could mail me something over the
ArpaNet that would be fine.
Thanks so much for your help,
Sharon Burks
∂30-Sep-82 1427 Gene Golub <CSD.GOLUB at SU-SCORE> Reminder
Date: 30 Sep 1982 1423-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Reminder
To: faculty at SU-SCORE
Please remember the reception today at 5 PM. The Forsythe Prize
will be awarded. GENE
-------
∂30-Sep-82 1601 Gene Golub <CSD.GOLUB at SU-SCORE> meetings
Date: 30 Sep 1982 1440-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: meetings
To: CSD-Tenured-Faculty: ;
I am planning to meet with the tenured faculty once a month this
year. We will usually meet the first Thursday of each month at 2:30
in the Conference Room next to my office. Schedule at least one
hour for these meetings.
For the rest of this year, the meetings are on the following days.
Oct 7
Nov 4
Dec 2
GENE
-------
∂30-Sep-82 1616 Irmgild Schack <CSD.IRMGILD at SU-SCORE> Visit of Barbara Liskov
Date: 30 Sep 1982 1612-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Subject: Visit of Barbara Liskov
To: faculty at SU-SCORE
cc: CSD.IRMGILD at SU-SCORE
Please let me know whether you are interested in talking with her.
She will be visiting the department on October 12.
Also, please let me know whether you'd like to join for dinner or
lunch.
Thanks,
Irmgild
-------
Yes, for lunch with Liskov, and I would prefer the after-lunch appointment.
∂30-Sep-82 1635 Irmgild Schack <CSD.IRMGILD at SU-SCORE>
Date: 30 Sep 1982 1630-PDT
From: Irmgild Schack <CSD.IRMGILD at SU-SCORE>
To: JMC at SU-AI
In-Reply-To: Your message of 30-Sep-82 1627-PDT
Gene just told me that she will attend the usual faculty luncheon. Could
you make it then to the Boys Town Conference Room? Of course you can
have the after-lunch appointment with her.
Irmgild
-------
∂30-Sep-82 2107 CLT SEMINAR IN LOGIC AND FOUNDATIONS OF MATHEMATICS
To: "@DIS.DIS[1,CLT]" at SU-AI
ORGANIZATIONAL MEETING:
Mon. October 4, 12noon-1pm, Room 383-N (3rd. floor, Math.)
SPEAKER: Solomon Feferman
Stanford
TITLE: On the Origins of Recursive Function Theory,
(based on papers of S.C.Kleene and M.Davis)
∂01-Oct-82 0852 Gene Golub <CSD.GOLUB at SU-SCORE> Time for meeting
Date: 1 Oct 1982 0846-PDT
From: Gene Golub <CSD.GOLUB at SU-SCORE>
Subject: Time for meeting
To: CSD-Tenured-Faculty: ;
It was my understanding that courses in this department are not
scheduled on Tuesday or Thursday at 2:30. Apparently there are
slip ups when courses are taught between two departments.
At least one of us has a course at that time. Could you indicate
to me what other hours you are free on Thursdays? GENE
-------
∂01-Oct-82 0942 ullman@Diablo (SuNet) lunch
Date: 1 October 1982 09:31:06-PDT (Friday)
From: ullman at Diablo
Subject: lunch
To: jmc at sail, zm at sail
I have asked vaughn if he can make it for 1PM lunch--but still no reply.
∂01-Oct-82 1020 ullman@Diablo (SuNet) MTC
Date: 1 October 1982 10:17:24-PDT (Friday)
From: ullman at Diablo
Subject: MTC
To: jmc at sail, zm at sail
Vaughn has a 1:15 meeting.
I suggested that we get together at 12:30, but not for lunch. OK?
I'll be at your office at 12:30.
∂01-Oct-82 1339 Grosz at SRI-AI preliminary talk announcement
Date: 1 Oct 1982 1320-PDT
From: Grosz at SRI-AI
Subject: preliminary talk announcement
To: AIC-Associates:
Doug Lenat will give at talk on Eurisko on Monday November 8 at 10:30.
Details when the time gets nearer.
-------
∂01-Oct-82 1641 ME
I've forwarded your CKSUM messages to Don Woods, the author of CKSUM.